[PATCH] powerpc: Better pmd_bad() and pud_bad() checks