As of r282499, option ARM_NEW_PMAP is now the default. If you've added it to your local config you will see (harmless) warnings about setting the option twice. It's still possible to fall back to the old implementation for testing, by adding "nooption ARM_NEW_PMAP" to your local config, or after the "include std.armv6" in the standard config files. -- Ian