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).