[U-Boot] [PATCH 1/4] mx28evk: Allow booting a zImage kernel