The text 58a7a576c079, as Debian 4.0 (Etch) shipped it.
Get the base/extended device id for a port
rio_local_get_device_id(9) on Linux now
