[coreboot-gerrit] Patch merged into coreboot/master: 028dc1e AMD F14h boards: Sanitise headers in agesawrapper.c