arm: Hack to make kernel.bin into a zImage
Add a the zImage header before start. This allows some boot loaders
(including xen) to load kernel.bin as a zImage.
I did this for someone who was doing some work on getting FreeBSD/armv7
working on Xen. That never went anywhere, but this seems useful in its
own right.
Sponsored by: Netflix