[coreboot] Re: spkmodem output