Du brauchst doch nur das Hyperthreading im Bios abzuschalten, dann funzt es auch mit dem Bootmanager.
Mache ich auch so.

cu
TThiesie