Created attachment 121339 [details]
lspci output with pci IDs for everything, from the machine in question.
I forgot to add the PCI ID for the GPU in the initial report, it's 1002:9644
I have also added an attachment with lspci output for all the other devices, as
well as attachments of the dmesg ouput and the xorg log.