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