hwloc_bitmap_alloc_full(3) on Linux

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

hwloc_bitmap_alloc_full(3) on Linux now