[coreboot-gerrit] Patch set updated for coreboot: payloads/Seabios: add SEABIOS_NO_HARDWARE_IRQ symbol