[coreboot] Re: Nonfree software in vboot, what to do about it?