Thanks! That seems to have solved the booting issue, and I can now see the GPU in Debian using lspci.
There's no HDMI output from the GPU, however, and no combination of "Primary GPU", "All Functions" and "PCI-Express" in the PCI Device GUI followed by a VM reboot seems to mitigate that. Also...