x86: fix PAE pmd_bad bootup warning