1007072: convert EM64T to x86_64