Сегодня столкнулся с парадоксальной ситуёвиной. Есть серверная материнка с

Сегодня столкнулся с парадоксальной ситуёвиной.

Есть серверная материнка с Xeon'ом. На ней есть встроенный UEFI Shell.
Вставляю флешку с UEFI Shell'ом, который взят из EDK (EDK II, Tiano). НЕ ГРУЗИТСЯ!!!
То есть в BIOS Setup появляется возможность загрузки с данной флешки, но shell с неё не грузится.

При этом есть возможность указать в качестве переменной для загрузки любое UEFI-приложение на флешке. Результат такой же - ноль эмоций. Хотя само приложение (как и shell) запускаются из встроенного в материнский BIOS Shell'а.

И самое интересное - кидаю в EFI\BOOT скачанный когда-то shell GRUB... И о чудо! Он запускается!

Кто знает, в чём может быть причина? Почему один shell запускается, а другой нет?