Setting up OpenCL on RK3588 using libmali - Martin's website/blog thingy