review: arm32: split core_init_mmu()