Re: [coreboot] alix1c current state