[coreboot-gerrit] Patch set updated for coreboot: 3e8457a Remove IRQ_SLOT_COUNT on all boards without PIRQ table.