x86: move pte types into pgtable*.h