[coreboot-gerrit] Patch set updated for coreboot: 7ec35f6 cpu/intel: allow non-packaged scoped turbo setting