debugger/regcache: specify integer constant widths.

Otherwise we get some odd behaviour - I was seeing that when updating
the PC (16) register 48 was also getting updated so we need to specify
the correct integer width.
docs/jtag: add missing cache sync command.