I just fix the same problem on my machine using "apci=ht" in grub kernel line. I'm using an all AMD system....don't know if ht means halt, hyper threading or something else. Try it and see if it works for you.