Existen actualizaciones para BIOS que corrigen este problema.