i386/PAE: fix pud_page()