As far as I know, almost all Android devices are distributed with binary Linux kernels and binary device driver modules. These device drivers are often closed-source. In particular, I think all reasonable video drivers are closed source.
So: is this a license violation? I guess not since a majority of the smart phone world would then be uncompliant.