Re: [coreboot] Questions on building a Coreboot ROM for the Dell Chromebook 11