arm64: Replace hard-coded values in the pmd/pud_bad() macros