Re: [coreboot] DBE62 status