[coreboot] Re: ec/google/wilco: Details on EC firmware