Hallo,danke für eure Antworten. Ich habe zwischenzeitlich beim Support angefragt. Die Patches wurden nach deren Angaben eingespielt. Der Kernel scheint von Ende April zu sein.
Trotzdem schade, dass man keinen eigenen verwenden kann ;) Viele Grüße Michael Brenner