Re: [PATCH v5 1/4] efi_loader: get version information from device tree