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