Конкретно по Raspberry Pi (в частности, Raspberry Pi 4) вопрос по поводу того, какой драйвер там используется? Проприетарный/свободный и, если свободный, то реверс-инженеринговый или documentation based/Broadcom written?
По поводу других одноплатников. Почему там используются заведомо официально неподдерживаемые в Linux GPU? Например, mali t864. Как я понял, есть только реверс-инженеринговый сторонний драйвер. Ни драйвера от производителя для Linux (Android в данном контексте не Linux), ни документации от производителя для написания драйвера нет.