Re: [coreboot] Interrupt confusion CK804 Tyan s2895