Re: [coreboot] arima irq issues