I didn't know it was a patch; I thought the `1440tecra.bin' was a zImage, where the other kernels are a `bzImage', and that's what makes the diffference as to whether it hangs on booting or not.