[coreboot] Patch merged into coreboot/master: 05f4b03 Use -mno-sse to prevent overzealous gcc optimizations