Constant KERN_BOOTLOADER_TYPE 

pub const KERN_BOOTLOADER_TYPE: c_int = 67;