x86-64: Dwarf2 register numbers for %bnd<N> I don't see why we shouldn't record them when they have been allocated, even if they're (bogusly) named as reserved in the ABI right now.