Acabo de instalar el kernel 3.9-1-amd64 en mi Debian y me ha aparecido ese error al arrancar. Tras un poco de búsqueda os paso qué hacer si es que os pasa.

Al arrancar en el boot se ven al principio unas cuantas líneas como esta:
[ 4.554603] platform microcode: firmware: agent aborted loading intel-ucode/06-2a-07 (not found?)
Para verlas después basta con un dmesg | grep platform o si queréis ver todo lo que pasó en el boot sin usar dmesg podéis instalaros el paquete bootlogd.
Para solucionarlo basta con instalar el paquete intel-microcode.
Eso añadirá en el dmesg las líneas:
[ 302.493073] platform microcode: firmware: agent loaded intel-ucode/06-2a-07 into memory
Una por cada CPU.

Pues nada, que os sea útil. Yo lo encontré en: http://forums.debian.net/viewtopic.php?f=5&t=94248

Este post ha sido traido de forma automatica desde https://web.archive.org/web/20140625063149/http:/bulma.net/body.phtml?nIdNoticia=2655 por un robot nigromante, si crees que puede mejorarse, por favor, contactanos.