Apologies; one of the options given above was incorrect. The following options need to be set on ppc64el to enable PCI VFIO functionality: CONFIG_SPAPR_TCE_IOMMU=y CONFIG_VFIO=m CONFIG_VFIO_PCI=m