armv7a_mmu: Remove armv7a_mmu_translate_va()