[coreboot-gerrit] Patch set updated for coreboot: 08cf2fc lynxpoint: Enable extra 16 IOAPIC entries for GPIO PIRQ