[coreboot-gerrit] Patch set updated for coreboot: 7f6f31f x86: Make stdint.h x64 proof