pub const Supported: FieldValue<u64, Register>;
There are distinct stage2 execute never controls for EL1 and EL0