[U-Boot] PPC440GX TLB setting problem.