Use the appropriate 64-bit register description file.