Хм, есть ещё какая-то реализация UEFI - Yabits

Они даже на X230 тестировали его. Попробую собрать.

yabits.github.io/