x86: implement pte_special