[PATCH] efi_loader: Make DisconnectController follow the EFI spec