L4/Linux communication with another L4 Thread