mx51evk: Allow booting a zImage kernel