Hallo,
ja, habe ich mir schon gedacht. Im VDR-Portal findet sich zwar etwas (opensuse), auch auf github findet man Patches.
Das klingt aber alles nach einem üblem Aufwand (und das am Ende für max. 400 User, mehr von den Karten gab es meines WIssens nicht).
Ich habe auf meiner aktuellen Installation deshalb immer noch einen uralt Kernel laufen.
Dann wird es wohl doch in Richtung softdevice gehen.