Add a MOUNT_BOOT_EFI option to mount a separate EFI partition. Thanks
to Stefan G. Weichinger <lists@xunil.at>.