> Doesn't Android use the Linux kernel which is GPL'ed (among other parts)? Can they legally withhold code for a shipping product by saying the software isn't finished?

Yes, the kernel is GPL, so they have released that source. It's the rest of the platform they are withholding, which is generally under an Apache license.