[coreboot] Linux kernel says "do_IRQ: 1.55 No irq handler for vector​"