Re: [coreboot] Seabios problems