Merge pull request #3522 from c-po/smoketest-NOIOMMU
smoketest: T6395: check for VFIO options to be present