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