I touched code which does noreturn lately, and did this refactor, put define exactly in mpconfig.h. It should already be included first, let me know if you see issues.

And @dpgeorge said it would be possible to break from that orthodox header inclusion rule if really needed (I find it amusing and stick by it so far ;-) ).