here is the 4.4.0-21 boot log:
virtualbox[1287]: ...done. kernel: vboxpci: IOMMU not found (not registered)
here is the 4.4.0-21 boot log:
virtualbox[1287]: ...done.
kernel: vboxpci: IOMMU not found (not registered)