[coreboot-gerrit] Patch set updated for coreboot: 93af69a qemu: fix IRQ routing setup