The allocated vmi->arch_interface should probably be free'd and set to NULL here.

It should also probably be free'd in vmi_destroy.