ARM: ux500: U8500 depends on MMU