[coreboot-gerrit] Patch set updated for coreboot: Drop unused code from gcc-intrin.h