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