[Bug 2079784] Review Request: systemd-boot - UEFI boot manager