Re: [coreboot] CPU Turbo [KGPE-D16]