x86-64-asm: Support high registers %r8 - %r15