Fixing xen_test() for VMI_AUTO.