[dpdk-dev] Headers files with BSD license in kernel

[Miguel Bernal Marin]

Hi,

I'm working on Clear Linux project, and when I was integrating DPDK
kernel modules to our kernel I found there are two headers with 
BSD License

rte_pci_dev_feature_defs.h
rte_pci_dev_features.h

those are included in igb_uio module.

Are those licenses correct?

Thanks,
Miguel