Re: [PATCH] efi_loader: use event callback for initrd deregistration