Constant CONTEXT_KERNEL_CET 

pub const CONTEXT_KERNEL_CET: u32 = 1048704;