Add a MOUNT_BOOT_EFI option to mount a separate EFI partition. Thanks

to Stefan G. Weichinger <lists@xunil.at>.

kerninst

@@ -167,6 +167,10 @@ function make_initrd() {
 
 function update_bootmanager_grub2() {
     einfo "Updating GRUB2..."
+    if [ "${MOUNT_BOOT_EFI}" == "yes" ]; then
+        einfo "Mounting EFI boot directory..."
+        /bin/mountpoint -q  /boot/efi || /bin/mount /boot/efi
+    fi
     /usr/sbin/grub2-mkconfig -o "${GRUB2_CONFIG_FILE}" &>> "${LOGFILE}" || die
 }
 

kerninst.conf

@@ -32,3 +32,6 @@ UPDATE_KERNEL_CONFIG="no"
 
 # Included files
 #INCLUDES=""
+
+# Whether to mount a separate EFI boot-dir before updating GRUB2
+MOUNT_BOOT_EFI="yes"