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