include/trace.h is different in wr-switch. This uses an ugly ifdef
to make wr-switch rt_cpu code build here unmodified.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>