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