The text 30c53fbe3a76, as Debian 7 (Wheezy) shipped it.
Set the base/extended device id for a port
rio_local_set_device_id(9) on Linux now
