Comment 38 for bug 254326

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