PAPI_event_code_to_name(3) on Linux

The text 1d5db3956f21, as Debian 12 (Bookworm) shipped it.

Convert a numeric hardware event code to a name.

PAPI_event_code_to_name(3) on Linux now