K 10
svn:author
V 4
skra
K 8
svn:date
V 27
2015-11-04T15:35:22.378409Z
K 7
svn:log
V 197
Fix comment about unpriviledged instructions.  Now, it matches with
current state after r289372.

While here, do some style and comment cleanups.  No functional changes.

Approved by:	kib (mentor)

END