I “think” I figured it out.
sudo lspci grep 3D
shows 01:00.0
which will become PCI:1:0:0
and sudo lspci grep VGA
shows 00:02.0
which will become PCI:0:2:0
. Remove the padding (leading zeroes), replace the dot with a colon.
Current config linked in this thread.
I just wanted to confirm this aspect as I still cannot get the nvidia driver to load.