Re: [PATCH] efi_loader: Make DisconnectController follow the EFI spec