Little bug in L4-Linux?