Remove extraneous debug output.
Make audit demo work with pretend _KERNEL again.

The audit demo uses _KERNEL to include lots of kernel headers, but since we're not actually compiling a kernel, we don't have a sys/limits.h.

Undefine _KERNEL before including <tesla-macros.h> and then re-define it again afterwards.