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.
1 # Dummy config file to not use a C library *at all*
2 # depends on BARE_METAL
6 Do not use a C library.
8 This is usefull if your project is self-contained, does not rely on
9 an external C library, and provides all the necessary bits.
11 Most probably usefull to bootloaders, as they generally don't depend
14 If unsure: do *not* choose that, and use another option in the choice.