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