Re: [coreboot] SeaBIOS+libpayload?