Oh that is quite interesting. I did not even know that there were AMD Chromebooks. I don't know who at google is forcing hardware vendors to publish sources, but they are really awesome. Several arm vendors seem to only publish sources for their Chromebook SoCs (e.g. Rockchip, mediatek).