HWLOC_TYPE_DEPTH_OS_DEVICE(3) on Linux

The text 9ec537ab7557, as Debian 8 (Jessie) shipped it.

HWLOC_TYPE_DEPTH_OS_DEVICE(3) on Linux now