Na verdade, acho que você tem 8 NICs: os BCM5719 é um NIC quad-port, com 4 NICs físicas que eu esperaria ver 16 portas aqui, mas talvez eu esteja perdendo alguma coisa.
Edit: então, eu não consigo descobrir como o BCM5719 é realmente construído. Pode ser que a sua porta quádrupla seja composta de duas portas duplas por NIC, que então chegam a 4 NICs x 2 portas duplas = 8 dispositivos PCI em seu servidor. Os documentos no site BCM5719 devem especificar que, eu não tenho não fiz o meu caminho através de todos eles ainda assim.