docs: do not document CT_KERNEL_ARCH, it's going away...
Since we merged the 32/64-bit archs, and we explicitly used
the Linux kernel arch name, we can get rid of CT_KERNEL_ARCH.
5 prompt "CLooG/ppl version"
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
19 prompt "0.15.5 (OBSOLETE)"
24 prompt "0.15.4 (OBSOLETE)"
29 prompt "0.15.3 (OBSOLETE)"
36 # Don't remove next line
37 # CT_INSERT_VERSION_STRING_BELOW
38 default "0.15.7" if CLOOG_V_0_15_7
39 default "0.15.6" if CLOOG_V_0_15_6
40 default "0.15.5" if CLOOG_V_0_15_5
41 default "0.15.4" if CLOOG_V_0_15_4
42 default "0.15.3" if CLOOG_V_0_15_3