Defined i686 and x86_64 vagrant boxes
mov1 should be movl for 'move long, 32 bits'