Ja, dass sehe ich auch so. Ich mache im Moment keine RPM's für den SMP Kernel, da es damit in der Vergangenheit keine Probleme gab und ich auch im Moment kein Developer Umfeld für SMP Kernel habe.
Aber ich kann Euch versichern, dass ich immer so schnell wie möglich neue Treiber nach einem Update zur Verfügung stelle, da einige meiner Erweiterungen auf diese aufsetzten.
yythoss