PAPIF_event_code_to_name(3) on Linux

The text 7ceb4187db4d, as Debian 12 (Bookworm) shipped it.

Convert a numeric hardware event code to a name.

PAPIF_event_code_to_name(3) on Linux now