The text 96b5116ace74, as Debian 4.0 (Etch) shipped it.
Set the base/extended device id for a port
rio_local_set_device_id(9) on Linux now
