mx28evk: Allow booting a zImage kernel