[coreboot] Fwd: do_IRQ: 1.55 No irq handler for vector (irq -1)