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