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