kernel: fix a small bug in the MIPS highmem fix