x86: clean up pte_exec