[coreboot] SeaBIOS+libpayload?