pub const ACTRL_KERNEL_TERMINATE: u32 = 1u32;