O Ubuntu ajuda você a fazer isso de maneira persistente com /etc/dpdk/interfaces
Não tenho certeza se as suas cartas são compatíveis, mas para você pode parecer:
pci 0000:01:00.0 uio_pci_generic pci 0000:01:00.1 uio_pci_generic
Mais pode ser encontrado no link