ARM: select CPU_CPU15_MMU/MPU appropriately