pub const WHEA_DEVICE_DRIVER_CONFIG_V2: u32 = 2u32;