Symbols starting CONFIG_ must be confined to config.h (see design.mps.config.impl.dep).