x86-64-asm: Accept high register in clobbers