[coreboot-gerrit] Patch set updated for coreboot: driver/fsp2_0: Include stdint header file in api.h