[PATCH] x86-64: adjust pmd_bad()