From c56c4a7a9df428ab4afb22d091d0187039b3a6c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20Marczykowski-G=C3=B3recki?=
 <marmarek@invisiblethingslab.com>
Date: Thu, 27 Jun 2019 14:28:15 +0200
Subject: [PATCH] kernel-install: adjust EFI check to look for xen.cfg

Even if EFI directory is present it may not be populated. kernel-install
part care specifically about xen.cfg file, so check it explicitly. If
grub2-efi is in use, the file wont be there and the script isn't
supposed to do anything.
---
 system-config/kernel-xen-efi.install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system-config/kernel-xen-efi.install b/system-config/kernel-xen-efi.install
index 83ef368..7c59f62 100755
--- a/system-config/kernel-xen-efi.install
+++ b/system-config/kernel-xen-efi.install
@@ -24,7 +24,7 @@ else
     EFI_DIR="$ESP_MOUNTPOINT$EFI_DIR"
 fi
 
-if [ ! -d "$EFI_DIR" ]; then
+if [ ! -r "$EFI_DIR/xen.cfg" ]; then
     # non-EFI system
     exit 0;
 fi