I just purchased a used I7 machine In Cinema 4d only 4 threads are showing, but on checking the bios - HT is enabled. Shouldn't I be seeing 8? and is there any OS control over HT. Please help.