The bigger question in all this is:
Is it possible to fully comply with the LGPL license for commercial products that have closed source components?
I'm really not sure, but am leaning towards it isn't possible when using the Arduino IDE.
I think it is good question to post on the developers board and ask the Arduino team
how to comply with LGPL in commercial products when refusing to open up all
the source to the product.
https://groups.google.com/a/arduino.cc/forum/#!forum/developers
--- bill