[coreboot] How to enable SERIRQ reliably?