[coreboot] Extracting EC firmware from EFI firmware