x86/oprofile: introduce oprofile_add_data64()