MFC r325438:
All CP15 registers are bit fields or counters, don't use signed type when accessing them.