[U-Boot] [PATCH 3/5] mx51evk: Allow booting a zImage kernel