Constant KernelEnabled 

pub const KernelEnabled: MACHINE_ATTRIBUTES;