x86: debug pmd_bad()