After doing the repair install and force in the ACPI Multiprocessor HAL do you have to go into device manager and change it manually?