[coreboot-gerrit] Patch set updated for coreboot: df56ae4 jetway/nf81-t56n-lf: Replace AGESA types with stdint types