ARM: make_coherent: fix problems with highpte, part 1