Remove redundant check for CONFIG_MMU