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