Me olvidé decir que el equipo arranca bien.

Buenos días, rafaltransa

Ese mensaje que aparece al iniciar al equipo es solo informativo, ya que el kernel de Linux automáticamente deshabilita el RDSEED32 ya que encuentra que está roto

Aún no tenemos una actualización de BIOS que arregle esto, y actualmente no tenemos una fecha prevista que podamos dar para esta actualización de BIOS

Un saludo,

De todas formas es solo en un mensaje de dos segundos en el arranque. No molesta.

Gracias