HWLOC_MEMBIND_DEFAULT(3) on Linux

The text 7a47a4b56181, as Debian 10 (Buster) shipped it.

HWLOC_MEMBIND_DEFAULT(3) on Linux now