Fix CPTR_EL2 TTA bit position

CPTR_EL2.TTA register bit position depends on HCR_EL2.E2H setting.
When ARMv8.1-VHE is disabled (HCR_EL2.E2H=0) CPTR_EL2.TTA is bit 20.

Change-Id: I3df1f54f6e33ea5d88fb13a1ab2249a79bca5fbd
1 file changed