Re: [coreboot] AMD64 Embedded Processors and Chipset Linux Support web page