Re: [coreboot] small bug/typo in filo payload (r80)