K 10
svn:author
V 6
mizhka
K 8
svn:date
V 27
2016-11-15T20:44:19.290493Z
K 7
svn:log
V 356
[MIPS] Fix Config3[ULRI] printing

Bit identifier of printf %b is octal integer, but not decimal. ULRI bit is
13-th bit (starting with 0) according to MIPS Architecture Volume III v.6.
In this case the bit identifier (starts with 1) should be \16.

Reviewed by:    gonzo
Approved by:	adrian(mentor)
Differential Revision:	https://reviews.freebsd.org/D8516

END