[fedora-arm] Linux kernel arm oprofile driver compilation problem