35422e4e05
A NFP PF PCI devices can have PCI ID 4000 or 6000. Signed-off-by: Alejandro Lucero <alejandro.lucero@netronome.com>