[coreboot-gerrit] Patch set updated for coreboot: src/include: Include stdint.h since struct dimm_info uses it