le BIOS ACPI indique que le périphérique sur le connecteur %4, fonction %5 est lié à un périphérique de routage d'IRQ nommé ...