pub const ACTRL_KERNEL_SET_INFO: u32 = 128u32;