230e08557d
make sure it is a device. GDB special cases these prefixes and treats :#### as a tcp port on localhost and executes what ever follows '|'. This allows kgdb to debug via dconschat. Discussed with: marcel