hwloc_bitmap_clr_range(3) on Linux

The text 98d0d878bb6d, as Debian 7 (Wheezy) shipped it.

hwloc_bitmap_clr_range(3) on Linux now