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