Re: [coreboot] Extracting EC firmware from EFI firmware