[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