Constant PROFILE_KERNEL 

pub const PROFILE_KERNEL: DWORD = 0x20000000;