Re: [coreboot] coreboot initialization problems