Constant ACTRL_KERNEL_SET_INFO

pub const ACTRL_KERNEL_SET_INFO: u32 = 128u32;