Re: [coreboot] Seabios configuration