pub const IPMI_OS_SEL_RECORD_VERSION_1: u32 = 1u32;