PAPI_event_code_to_name(3) on Linux

The text a8877f3e3c59, as Debian 11 (Bullseye) shipped it.

Convert a numeric hardware event code to a name.

PAPI_event_code_to_name(3) on Linux now