Constant PXE_TRACE_INFO

pub const PXE_TRACE_INFO: u32 = 131072u32;