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