fix MSI of if_vmx