[coreboot-gerrit] Patch set updated for coreboot: bbd7dc6 arch/x86/*/ioapic.h: Missing stdint.h header inclusion