Getting OpenCL working on the Rock Pi 4B

I’m having trouble getting OpenCL working. I’m following these instructions: https://wiki.radxa.com/Rockpi4/dev/install-opencl on a Rock Pi 4B.

I followed the instructions but when I run ./clpeak, it returns this message:

Platform: ARM Platform
ERROR: The DDK is not compatible with any of the Mali GPUs on the system.
The DDK was built for 0x860 r2p0 status range [0…15], but none of the GPUs matched:
clCreateContextFromType (-6)

Then when I run clinfo, it returns a similar message:

ERROR: The DDK is not compatible with any of the Mali GPUs on the system.
The DDK was built for 0x860 r2p0 status range [0…15], but none of the GPUs matched:
Number of platforms 0

Running ls in /dev/ also doesn’t have anything that matches with mali. The kernel running is 4.4.154-111-rockchip-g39b306a41b2d.

What am I doing wrong here? Thank you!