Constant WHEA_DEVICE_DRIVER_CONFIG_MIN 

pub const WHEA_DEVICE_DRIVER_CONFIG_MIN: u32 = 1u32;