[U-Boot] Help on U-Boot and Linux integration on PPC cpus