ARM: make_coherent(): fix problems with highpte, part 2