Constant CCODE::PROFILE_KERNEL

pub const PROFILE_KERNEL: u32 = 536870912;