je nach Board kann man einen Kern direkt im Bios ausschalten, ....möglicherweise geht dies auch per Tool, wie das TurboV EVO !
Vielleicht hast du das versehentlich gemacht.
Edit:
Kannst auch mal hier schauen, wie man die Kerne deaktivieren und wieder aktivieren kann:
http://www.pcgameshardware.de/aid,63...ultimeda/News/