* gdb.texinfo (ARM): Document ARM-specific commands.