pub const WHEA_DEVICE_DRIVER_BUFFER_SET_MIN: u32 = 1u32;