x86, mm: fix pte_free()