Re: [coreboot] Does ChromeOS-EC have to boot ChromeOS?