I am very sensitive about {platform, cpu, compiler}-specific preprocessor blocks in core files.

I'd rather establish a new CC_CONF_WHATEVER define in cc.h, with some default value, and then platforms that need to diverge from the default can do so through contiki-conf.h

Having said that, is that check really necessary?