papi_xml_event_info(1) on Linux

The text 72bd8da1cdda, as Debian 12 (Bookworm) shipped it.

papi_xml_event_info utility. file papi_xml_event_info.c

papi_xml_event_info(1) on Linux now