kernel: fix MIPS highmem breakage