Fix a bug in get_arg of arch_x86_32