x86/gas: add missing RegBND to debugging code

This must have been overlooked when MPX support was added.
1 file changed