[coreboot] Help with RX serial interrupts?