[U-Boot] [Patch v9 2/5] ARMv8: Adjust MMU setup