I got an answer from Bookeen and it seems that you are right that they have a supplier which supplies them with the hardware+linux OS on it. Strange that they did not provide the Linux OS themselves. They mentioned that they have to force the supplier to release it. I am surprised that they started selling a product they knew broke the GPL. I tought it was just a question for them to package there code but obviously not.
I will download some copyrighted books to compensate
