UEFI загрузка Debian и FreeBSD

Я слышал что с UEFI загрузка разных ОС должна проходить очень просто. Но
ожидал подвоха всё равно. Установил тут на работе на компьютере с Debian
в отдельном GPT разделе ZFS с FreeBSD. И чтобы её можно было запустить,
достаточно было просто подмонтировать FAT32 EFI раздел и сделать:
    cp /boot/loader.efi /mnt/EFI/freebsd/BOOTX64.EFI
Действительно, оказалось более чем просто. Прежде я имел дело с UEFI
только когда есть одна ОС. FreeBSD вообще даже готовый бинарный образ
всего этого EFI раздела предоставляет, чтобы даже FAT32 не трогать.