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