Comment 9 for bug 1936850

Upon further inspection, I think that Corey's suggestion in #6 is probably the most flexible option. Not all of the dpdk drivers will depend on the specific card that's installed, and its possible that the user will want to use a different dpdk driver.