[linux-audio-user] pci device ids for soundcards