pe32+ target: adjust x86_64-gen.c