https://bugs.freedesktop.org/show_bug.cgi?id=76490
--- Comment #57 from Alex Deucher alexdeucher@gmail.com --- I don't think this has anything to do with the vbios. I suspect the same pci ids are just used in multiple board configurations (e.g., different clocks or vram chip vendors or voltage configurations) so the pci ids are not enough as is to differentiate. I need to take a closer look at the vbioses.