[coreboot-gerrit] New patch to review for coreboot: 2be75de arch/x86/include/stdint.h: Don't let header wind up in ASL files