Muchas gracias, gypsilon,
Aunque no he encontrado una opción en OP que se llame "devices" como tal, sí he encontrado, en ajustes, una que se llama "connections" donde aparecen dos elementos en "data connections". Ambas tipo Net, con localhost 1010, una con parámetros tcp-input y otra con udp-output.
Si quito o pongo el GPS y después reinicio la RB, la información que aparece es la misma. Tras poner el texto que has mencionado en el terminal, me aparece una lista de 63 elementos que comienzan por /dev/ttyXX (XX del 1 al 63), más tres elementos que terminan como amao, printk y SO.
¿Lo anterior da alguna pista?
