Re: [coreboot] H8QME-2+ IRQ assignment and AMD 8132