So I just checked in a large batch of changes to modify the
pmap_enter() API as previously noted.
This has not been tested on other platforms than arm32. However,
since all other platforms currently ignore the `access_type' argument,
it should not cause any problems (other than potential compilation
errors).