x86: update populate_extra_pte() and add populate_extra_pmd()