[coreboot-gerrit] Patch merged into coreboot/master: c21bd88 jetway/nf81-t56n-lf: Replace AGESA types with stdint types