[coreboot] Re: How to enable SERIRQ reliably?