Re: [SeaBIOS] [coreboot] Seabios problems