Change the early startup code to set TCR_EL1.IPS to
ID_AA64MMFR0_EL1.PARange if it has a defined value (the currently
defined values have the same meanings), but use 48-bit PAs if 52-bit
PAs are supported because 52-bit PAs have a different translation
table format that we don't support. Stash the computed TCR_EL1 in a
variable and use it in the context switch code.
Change the early startup code to set TCR_EL1.IPS to ID_AA64MMFR0_EL1.PARange if it has a defined value (the currently defined values have the same meanings), but use 48-bit PAs if 52-bit PAs are supported because 52-bit PAs have a different translation table format that we don't support. Stash the computed TCR_EL1 in a variable and use it in the context switch code.