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