Constant ACTRL_KERNEL_CONTROL 

pub const ACTRL_KERNEL_CONTROL: u32 = 512u32;