How do they use the GPL2'd Linux kernel then? It implements drivers in the kernel and the license requires that the source be released. Do they use tricks like nvidia and create a free software shim module ties in a userspace driver?
Each major release of Android has an explicitly stable kernel internal ABI, meaning that shipping binary drivers is much more viable than it was before.
