See the current HAL version:
Open Device Manager and Expand COMPUTER
Right-click the HAL and go to drivers tab and Update Driver to install a new one.
msconfig -> boot options -> advanced -> Confirm that the # processors is not defined there - uncheck the box. Also from here, there is option to "rescan for HAL"