Constant PXE_TRACE_INFO 

pub const PXE_TRACE_INFO: u32 = 131072u32;