[U-Boot] MMU/PPC question