[U-Boot-Users] Booting ELDK 4.0 kernel on MPC8548CDS