Updates docs regarding linux mint troubleshot

Signed-off-by: Ciro S. Costa <ciro.costa@usp.br>