As I understand as the result of these changes VFIO_PRESENT is always
undefined
when bus/pci sources are build (because eal_vfio.h is not included).
So, many things do not work if vfio-pci is used. In my case
rte_pci_map_device() fails with -1.
Andrew.