[coreboot-gerrit] Patch set updated for coreboot: src/cpu/intel/speedstep/acpi.c: Add "FIXME" comment