kernel-install: also try to find $BOOT by partition GUID
authorLuca Boccassi <bluca@debian.org>
Fri, 3 Mar 2023 00:45:45 +0000 (00:45 +0000)
committerLuca Boccassi <bluca@debian.org>
Fri, 3 Mar 2023 10:50:57 +0000 (10:50 +0000)
commit41f39e2144c935868059e894c1a1e13803e3568f
tree6e3896ca4da5de3d2d0c4cd7c5c27960d35ecc83
parent3bf7e3c06e89f907dae75fbbae4405a948f611ef
kernel-install: also try to find $BOOT by partition GUID

When there is nothing set up on /boot, /boot/efi or /efi, try to find the
$BOOT partition checking for the XBOOTLDR or ESP partition GUIDs.
Prefer XBOOTLDR as per BLS.

Fixes https://github.com/systemd/systemd/issues/26644
src/kernel-install/kernel-install.in