[U-Boot] [PATCH 1/3] armv8/mmu: Clean up TCR programming