Work on the vm side of binary translation between vm520 and x86_64