IRQ, PCI etc.

[G.Paulo <linuser@terra.com.br>]

Pessoal:
	Volto novamente com o mesmo problema, depois de meses sem solução. Já procurei na web toda, sem sucesso.
	Seguinte: minha placa de som não funciona. O dmesg mostra a seguinte listagem:

PCI: Found IRQ 4 for device 00:11.5
IRQ routing conflict for 00:11.5, have irq 5, want irq 4
via82cxxx: timeout while reading AC97 codec (0x8000000)

(obs: o device 00:11.5 é justamente a placa de som onboard)

	Ou seja, tenho um problema de conflito de irq. Parece que o BIOS fornece a irq 5 (esse é o resultado de lspci -v e cat /proc/pci), mas o Linux, por alguma razão, atribui a irq 4. Aliás, o resultado de cat /proc/interrupts é o seguinte:

           CPU0       
  0:     378822          XT-PIC  timer
  1:       3187          XT-PIC  keyboard
  2:          0          XT-PIC  cascade
  3:          0          XT-PIC  usb-uhci, usb-uhci, usb-uhci
  5:          0          XT-PIC  via82cxxx
  8:          1          XT-PIC  rtc
  9:       3137          XT-PIC  acpi, eth0
 11:     324931          XT-PIC  nvidia
 12:     156393          XT-PIC  PS/2 Mouse
 14:      21648          XT-PIC  ide0
 15:          6          XT-PIC  ide1

onde se vê que a irq 5 está atribuida à placa de som.

	Enfim, não sei o que fazer para remover este conflito. Tb não consegui utilizar o setpci (parece que não dá pra setar a irq desta forma).
	Alguém sabe como resolver isso? Ou conhece alguma fonte sobre esses assuntos de irq? Mas tem que ser fonte sofisticada (o focalinux, por exemplo, não tem nada. É pra iniciante mesmo). 

Abraços.
Paulo.