I think I have exactly the same problem. I am interested in the steps to change HSWULTPEP.SYS that you went through. The driver I have is also from 1/30/2013. It is associated with "Intel(R) Core(TM) 4xxxU and 4xxxY Processor Line Power Engine Plug-in". I have been unable to locate a newer...