pub(crate) const X86_64_SERIAL_2_4_IRQ: u32 = 3;