[coreboot-gerrit] New patch to review for coreboot: 32eb7ab amd/agesa/f15: Invalid inline asm in gcc-intrin.h