Re: [U-Boot] [PATCH] mx35pdk: Allow booting of a device tree kernel