Constant EL2HLT

const EL2HLT: u32 = 51u32