[coreboot-gerrit] Patch set updated for coreboot: ec/google/chromeec/ec_commands.h: Include stdint.h