il BIOS ACPI indica che il dispositivo nello slot %4, funzione %5, è collegato a un dispositivo di routing di IRQ denominato ...