Intel I7-6700K wird nicht richtig erkannt

An welcher Schraube muß ich in Opencore v.67 drehen, damit meine CPU richtig erkannt wird?

Ich habe es selber gefunden. Unter "Processor Type" hatte ich in der "config.plist" einen Eintrag "3841" (keine Ahnung, wie der da hingekommen ist).

Nachdem ich den Eintrag gelöscht habe, wird der I7-6700K so angezeigt: