chiark / gitweb /
hwdb: change pci.ids location