PAPIF_event_code_to_name(3) on Linux

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

Convert a numeric hardware event code to a name.

PAPIF_event_code_to_name(3) on Linux now