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