Re: [coreboot] Minimal seabios for coreboot