[coreboot-gerrit] Patch merged into coreboot/master: driver/fsp2_0: Include stdint header file in api.h