I just had this problem when booting automatically through ACPI (RTC alarm). The following solved it for me:
sudo apt-get install intel-microcode
See this blog post: http://smackerelofopinion.blogspot.com/2010/03/installing-intel-microcode-updates.html
I just had this problem when booting automatically through ACPI (RTC alarm). The following solved it for me:
sudo apt-get install intel-microcode
See this blog post: http:// smackerelofopin ion.blogspot. com/2010/ 03/installing- intel-microcode -updates. html