[coreboot] "do_IRQ: x.55 No irq handler for vector (irq -1)" messages