We need to limit our use of IS_ENABLED to CPP #if directives ifwe want to have a small autoconf.h file. The use of it in Ccode also has the negative aspect of implicitly making it looklike THUMB2_KERNEL is some kind of dynamic entity that is evaluatedat runtime, when it really is a Kconfig bool and hence aneither/or thing selected at config time.