Bug fix 13622: Add paired register support for inline asm with 64-bit data on ARM