ppc/paging: Convert to new-style CPU management * Aka, post-scheduler changes * Luckily PPC paging code is very similar to x86 paging now
PPC: Restructure paging stuff to match other platforms First attempt. Totally untested.