ARM: Fix broken highmem support