pub const WHEA_NOTIFICATION_TYPE_GPIO_SIGNAL: u32 = 7u32;