[coreboot-gerrit] Patch set updated for coreboot: 5d7b800 qemu: fix IRQ routing setup