Re: [PATCH 4/6] efi_loader: Replace config option for initrd loading