Re: [coreboot] Seabios support in Coreboot