[U-Boot] [PATCH 4/4] efi_loader: use efi_devpath to get correct boot device-path