Existem duas indicações desta saída que é. Primeiro indica que o driver está em uso (sata_via). A segunda é que diz que tipo de cartão é depois do endereço PCI na primeira linha. Se o driver não estiver carregado corretamente, ele informará algo como "ID do dispositivo desconhecido 4000x288 ...".