Symbol: FAR_EL2