il BIOS ACPI sta tentando di referenziare un indice GPE (%3) ma non vi sono blocchi GPE definiti dal BIOS. Contattare il ...