enable if_vmx driver in the builds