The text d669f27dd09a, as Debian 7 (Wheezy) shipped it.
Get the base/extended device id for a port
rio_local_get_device_id(9) on Linux now
