rk3399上缺少libopencl.so libmali.so libgles_mali.so

rk3399上缺少libopencl.so libmali.so libgles_mali.so,这个怎么解决?有说需要更新RK3399 linux的最新SDK,怎么更新?linux的几个固件有什么区别?