x86: with the last user gone, remove set_pte_present