return RETURN_UNSUPPORTED;\r
}\r
} else if (ArmReadCurrentEL () == AARCH64_EL1) {\r
- TCR = T0SZ | TCR_TG0_4KB;\r
+ // Due to Cortex-A57 erratum #822227 we must set TG1[1] == 1, regardless of EPD1.\r
+ TCR = T0SZ | TCR_TG0_4KB | TCR_TG1_4KB | TCR_EPD1;\r
\r
// Set the Physical Address Size using MaxAddress\r
if (MaxAddress < SIZE_4GB) {\r