Где находятся файлы syslinux x86-64 на загруженном живом носителе?

Я обнаружил проблему при создании USB-флешки с ESP для загрузки. Я должен заполнить руководство ESP.

Поэтому мне нужно скопировать файлы из /usr/lib/syslinux/efi64/ в ESP. Несмотря на то, что установлены syslinux и efibootmgr (проверено с помощью apt_cache), файлы, похоже, находятся не в стандартном расположении.

Надеюсь, что на этот вопрос легче ответить, чем мои предыдущие. Заранее спасибо за помощь.