Now I really don't know anything about this, but I remember quite a while ago when configuring a Linux kernel build that there was an entire section dedicated to Google's server hardware. If it's really all that normal, why would it be Google-specific/why wouldn't there be other large vendors present as well? Talking about the GOOGLE_FIRMWARE menu.