arm/paging: Convert to new-style CPU management

* Aka, post-scheduler changes
* Luckily ARM paging code is very simular to x86 paging