Try contacting them with that information, pointing out that they are using their internally developed Linux distribution so they are the ones responsible for releasing any modifications that they make to GPLed software (i.e. they cannot claim that Google is responsible).