Re: [coreboot] SeaBIOS and noisy irqs