Após o problema não poder ser resolvido por uma simples reinicialização, o procedimento a seguir foi bem-sucedido: Desligar o computador e, em seguida, remover qualquer fonte de alimentação por 5 minutos (basta desconectar o cabo da fonte de alimentação). Após reconectar e inicializar, o leitor de cartões foi detectado novamente.