Hay un problema con la definición del objeto ACPI_TSD en el equipo. Si instala el firmware de sistema (BIOS) más reciente, ...