Драйвер Realtek r8191SU для ядра> = 3.10

Я пытаюсь создать драйвер для своего аппаратного ключа WiFi, который сообщает как rtl8191SU, однако без удачи, поскольку официальные драйверы от Realtek, кажется, только переходят к версии 3.0.2 ядра, в то время как текущая версия моего ядра 3.10...

Кроме того, это находится на arm64 архитектуре (см. проект Pine 64).

Официальные драйверы дают несколько ошибок при компиляции, например:

field 'xmit_tasklet' has incomplete type

field 'recv_tasklet' has incomplete type

...

который, кажется, происходит из-за несоответствия версии ядра.

Рассматриваемый драйвер, кажется, на самом деле rtl8712, который является тем, что загружается с realtek веб-сайта в конце.
Есть ли некоторая новая версия этого драйвера для Ubuntu и более новых ядер или альтернативы?