[U-Boot-Users] Re: Booting the Linux/ppc64 kernel without Open Firmware HOWTO (v3)