x86/32: no need to use set_pte_present in set_pte_vaddr