Cluttered trace messages on Genode/OKL4v2

[Norman Feske]

Hi Frank,

> I’d appreciate if this or an equivalent fix could find its way into one
> of the next Genode baselines on Sourceforge.

thanks for reporting the issue and for your elegant solution. The issue
applies for the other base platforms as well. I'll make the fix
available at the SVN after I incorporated and tested it on all platforms.

Cheers
Norman