Re: [coreboot] IRQ 9 on s2895 and s2892