[Hafnium] Re: Question about HCR_EL2 reg.