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