Исправление gasinvein, 10.12.18 18:49 (текущая версия) :
Посмотри скрипт /usr/bin/kernel-install, станет понятнее. У путей есть приоритет, /efi первый, /boot/efi последний.
Исходная версия gasinvein, 10.12.18 18:47:
Посмотри скрипт /usr/bin/kernel-install, станет понятнее. У путей есть приоритет, /efi первый, /boot последний.