linux: enable oprofile in kernel on rpi