Constant ACTRL_KERNEL_VM

pub const ACTRL_KERNEL_VM: u32 = 4u32;