I have DG31pr board with C2D e6650 processor. I updated the bios from .52 to .71 with the help of intel itk but now when i use to see the cores of my processor i find only one working and other one is disable. how to enable the second core...........