[coreboot-gerrit] Patch set updated for coreboot: 7fed1b5 IOAPIC: Fix missing stdint include