Re: [coreboot] AMD Serengeti Cheetah devices