Re: Little bug in L4-Linux?