Your appear to not be running the latest version. Have you tried running apt-get update
and apt-get dist-upgrade
Sometimes the No IOMMU detected warning is mistaken (sorry can't find the thread on this forum at the moment). Can you show us the IOMMU groups with this command? for d in /sys/kernel/iommu_groups/*/devices/*; do n=${d#*/iommu_groups/*}; n=${n%%/*}; printf 'IOMMU group %s ' "$n"; lspci -nns "${d##*/}"; done