Вам необходимо установить двоичные драйверы ARM Mali. Как вы это сделаете, зависит от используемого вами дистрибутива. Например, на Odroids он устанавливается вместе с Ubuntu.
После того, как он установлен, он либо поставляется с включенным OpenCL, либо вы можете просто включить его: создайте файл /etc/OpenCL/vendors/mali.icd и поместите в этот файл путь к драйверу, например, на моем Odroid это /usr/lib/arm-linux-gnueabihf/mali-egl/libmali.so
Итак, сначала я бы поинтересовался, какие каналы связи есть у Debian Linaro, как установить бинарные драйверы.