o BIOS da ACPI indica que o dispositivo no slot %4, função %5, está conectado a um dispositivo de roteamento de IRQs chamado ...