Thank you all for taking this issue seriously. For now I can circumvent this issue by running a systemd service that first tries to modprobe the module and rebuilds it for the new kernel if this fails. In the long run a working dkms package would be great and needed, since dkms seems to be gaining in popularity for the general ease of use.