OK, ich glaube ich hab's gefunden. Es muss im Kernel DRM aktiviert werden, damit das CONFIG_DMA_SHARED_BUFFER Flag gesetzt ist, und somit das fehlende dma-buf (und dessen Symbole) kompiliert wird. Mir war bisher nicht bewusst, dass man Treiber kompilieren kann, für die zwingend erforderliche Abhängigkeiten nicht erfüllt sind...
Ich lass nun nen neuen Kernel bauen. Das wird vermutlich bis Morgen Abend dauern. Ich versuche es erst mal ohne nen kompletten clean, was deutlich schneller gehen würde. Ich habe allerdings keine große Hoffnung, dass das zum gewünschten Ergebnis führt.
Nun ist also erst mal Geduld gefordert, bis getestet werden kann, ob's geholfen hat.
Claus