[Hafnium] Question about HCR_EL2 reg.