pub const IPMI_OS_SEL_RECORD_VERSION: u32 = 1u32;