Создание Ваших собственных пакетов является способом пойти (по моему скромному мнению). В зависимости от возраста версии Debian пакета и что изменилось, это может быть столь же легко как замена имени файла источника tarball в описании пакета и в худшем случае, можно все еще использовать его в качестве шаблона для собственной версии.
Встроенное микропрограммное обеспечение UEFI (не BIOS, это - что-то еще), может только загрузить приложения UEFI, соответствующие архитектуре встроенного микропрограммного обеспечения EFI. Таким образом, Вы не можете непосредственно загрузить ядро Linux, но необходимо смочь загрузить загрузчик UEFI, который затем загрузит ядро Linux в память и переход к ней.
Становится возможно скомпилировать ядро Linux с опцией EFISTUB, которая позволяет непосредственно выполняться/загружать ядро как изображение EFI, не имея необходимость использовать загрузчик.
В основном да, но во-первых необходимо включить сетевую плату так, чтобы целевая машина могла проверить с помощью ping-запросов FTP-сервер для получения изображения ядра.
Контроль Загрузчик EDK (EBL) Wiki ссылка SourceForge.