Google has come up with its new Chromebook with "Tegra132" 64-bit Denver NVIDIA Tegra SoC. The latest hardware platform / chip being supported by mainline Coreboot is "Tegra132", the NVIDIA Tegra codename for...