Далеко не факт :). Это может

borisov78 писал(-а):
в строковых ресурсах присутствует текст "EC Firmware update" - следовательно и дамп должен быть где-то рядом
Далеко не факт:). Это может оказаться всего лишь строчкой в меню, которое позволяет обновить EC firmware с внешнего носителя.

borisov78 писал(-а):
Core_DXE
Вполне штатный модуль для EFI.
Прошивка для EC не должна быть упакована и должна представлять собой код для 8051.