edit: hab mich verlesen. sry

Hallo zusammen,
ich nutze einen Schenker DTR 15 und bin an sich mit dem Gerät sehr zufrieden. Die Hauptanwendung, für die ich das Laptop benutze, kann allerdings kein mehrfachen Kerne nutzen. Ich hatte mir aus diesem Grund genau die o.g. CPU gegönnt, da diese einer der höchsten Taktraten pro Core aufweist, die man in einem noch halbwegs mobilen Gerät finden kann. Nun würde ich gerne per BIOS das Hyperthreading abschalten, damit die Anwendung auch die gesamte Rechenpower eines Kerns ausnutzen kann. Leider finde ich diese Option im BIOS nicht. Kann mir jemand helfen?
Danke und Grüße,
Martin