Getting libvmi running on ARM