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