Symbol: ARM_LPAE_TCR_TG0_64K