if you are seeing this problem repeatedly you can manually disable these drivers (with no negative side effect) by going to the following location in the registry:
hkey_local_machine/system/currentcontrolset/services/processor
or
hkey_local_machine/systemcurrentcontrolset/services/intelppm
and changing the 'start' value to '4'.