[U-Boot] [PATCH] mx25pdk: Allow booting a device tree kernel