EDIT + SOLUTION: if you are having trouble with PCI passthrough on your system and know/believe it should work, be sure to know if you are using GRUB or Systemd-boot first. If you are using UEFI you are probably on Systemd-boot and need to edit /etc/kernel/cmdline and issue pve-efiboot-tool...
