Re: [U-Boot] LPC2478 - reading/booting from SD card