Can you look at the device/vendor IDs of pci device 0:31:0? That's always worked for me, but I've only ever done it on Intel platforms so I'm not sure if it works on AMD chipsets.