Add examples and documentation for writing to uregs[]

[melloc]

As of illumos#9094, it is possible to write to user registers via the uregs[] array. Some examples and a note that this is possible should be added. There is an example in OS-6135.