Problema con la definizione dell'oggetto ACPI _TSD nel computer. Il problema può essere risolto installando il firmware del ...