Re: [PATCH V2 6.12.y 4/7] arm64/sysreg: Add register fields for HFGITR2_EL2