[coreboot-gerrit] Patch merged into coreboot/master: 51a2d0e amd/agesa/f16kb: Invalid inline asm in gcc-intrin.h