I'm sure that Linus does not think that programs that run on the Linux kernel should have to be GPL'd. I doubt if Angry Birds or Flash use kernel header files -- they call the kernel, yes, but as userspace programs not as part of the kernel.
http://lkml.org/lkml/2003/12/5/162
(in general, the thread was about kernel modules - this message explicitly mentions user-space)
Most non-GPL userspace programs use glibc, which is LGPL(and therefore can be linked by any license).
If Google copied the headers verbatim, then created a non-GPL licensed wrapper around those headers, that is a GPL violation.