Additions/Linux: add the pci id file required by Debian/Ubuntu's X.org server 1.4 for our video driver