arm64: el2_setup: Make sure ICC_SRE_EL2.SRE sticks before using GICv3 sysregs