ARM: provide improved virt_to_idmap() functionality