Re: [U-Boot] MMU init code in uboot for MX31 PDK