Expose vmi_init_arch to (re)initialize the arch interface