Dear Tom,

The following changes since commit 78f67f11a9920ef988cbff5341616695c3e87ebd:

Merge branch 'rpi-2023.04' of https://source.denx.de/u-boot/custodians/u-boot-raspberrypi (2023-03-24 17:00:41 -0400)

are available in the Git repository at:

https://source.denx.de/u-boot/custodians/u-boot-efi.git tags/efi-2023.04-rc5

for you to fetch changes up to 180b7118bed8433f9cfe4b5ad62c6b0d901924f5:

efi_loader: fix device-path for USB devices (2023-03-25 10:43:50 +0100)

Gitlab CI showed no issues: https://source.denx.de/u-boot/custodians/u-boot-efi/-/pipelines/15733

---------------------------------------------------------------- Pull request for efi-2023.04-rc5

UEFI:

* Create unique device paths for USB devices with the same vendor and product id.

---------------------------------------------------------------- Heinrich Schuchardt (2): efi_loader: support for Ctrl() device path node efi_loader: fix device-path for USB devices

include/efi_api.h | 6 +++++ lib/efi_loader/efi_device_path.c | 45 +++++++++++++++++++++++--------- lib/efi_loader/efi_device_path_to_text.c | 7 +++++ 3 files changed, 46 insertions(+), 12 deletions(-)