Hi @fkuhn,
have you done a full system update as that may solve the problem for you with the introduction of new kernels?: