Improve HARDEN_EL2_VECTORS check