使用官方提供的ubuntu固件，调用进行性能计数器(perf_event)遇到的问题

Chip Platform Rockchip
1

有没有用rk3288做优化的大神，对于性能计数器有了解的，我在使用官方提供的ubuntu的时候，调用Perf_event时，返回Device busy, 查看dmesg，出现
hw perfevents: unable to request IRQ23 for ARM PMU counters。

还有，有没有人在ubuntu上面用GPU的？ opencl的程序能够跑吗，具体支持如何？
最后还有一个问题，为什么这个版本的内核号是4.4.154 。官方的版本里好像没有这个内核号吧