[MIPS] Fix computation of PGDIR_SHIFT for 16K pagesize on 32-bit kernels.