x86/gas: add missing RegBND to debugging code This must have been overlooked when MPX support was added.