Constant ACTRL_KERNEL_THREAD 

pub const ACTRL_KERNEL_THREAD: u32 = 2u32;