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