Sparc: add ktrace.h
Leon3: adapt to Genode toolchain