x86/asm: Fix pud/pmd interfaces to handle large PAT bit