Re: [coreboot] seabios head breaking irqs?