Debian hwloc infrastructure