Re: [coreboot] Enabling SeaBIOS