Update:
I posted this too soon. Whilst posting this, I noticed the following two lines:
hostpci0: 68:00
hostpci1: b7:00
I had been trying to specifically select 68.00.1 and b7:00.3. But somehow, even though I selected those specific nics when I added the pci hadware, they show up as seen...