[U-Boot] Booting kernel from SD/MMC cards