mx31pdk: Allow booting a zImage kernel

Allow booting a zImage kernel.

Signed-off-by: Fabio Estevam <fabio.estevam@freescale.com>
1 file changed