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