[PATCH] ARM: mm: Allow an empty PMD in alloc_init_pte()