The really good stuff is in AVR-LIBC which looks to have a BSD-style license. You could build your app using the Eclipse/AVR-GCC toolchain, totally bypassing Arduino, and sidestep all the LGPL biz. If I were contemplating a commercial product that I didn't wish encumbered with awkward licenses, I think that's the way I'd go.