"Android userspace does not contain GPL licensed code" is a myth. I really wish it were that simple, but it is not, unfortunately. The system that Google ships it to third parties is indeed just the Linux kernel, plus a userspace that does not contain GPL code (so don't use this as a stick to beat Google with 'incompliance').
Then it goes to companies who make an SDK so real products can be made out of it and this is where A LOT goes wrong. You would be surprised to see how much GPLv2 licensed code then slips back in.