Re: [PATCH 1/1] efi_loader: correct description of efi_get_distro_fdt_name