Re: [PATCH] efi_loader: Get rid of kaslr-seed