papi_hardware_avail(1) on Linux

The text 31f40eced6cf, as Debian 12 (Bookworm) shipped it.

papi_hardware_avail utility. file papi_hardware_avail.c

papi_hardware_avail(1) on Linux now