Hello, Is the individual ID number for a gp2x device available from the OS, like in /dev/id or something?