This bug was fixed in the package intel-microcode - 2.20140624.1ubuntu1
--------------- intel-microcode (2.20140624.1ubuntu1) utopic; urgency=medium
* New upstream microcode data file 20140624 Additional update for 20140430 which has a better fix. -LP: #1335156 -- Tim Gardner <email address hidden> Fri, 27 Jun 2014 08:39:57 -0600
This bug was fixed in the package intel-microcode - 2.20140624.1ubuntu1
--------------- 1ubuntu1) utopic; urgency=medium
intel-microcode (2.20140624.
* New upstream microcode data file 20140624
Additional update for 20140430 which has a better fix.
-LP: #1335156
-- Tim Gardner <email address hidden> Fri, 27 Jun 2014 08:39:57 -0600