Re: [coreboot] Can not have IRQ from ethernet device connected to the PCIe #4 in legacy mode