Fix vmi_mod usage for dom0 benchmarks and other minors