Re: [PATCH 1/2] Nokia RX-51: Add support for booting kernel in zImage format