Problem with L4Linux ORe stub driver