Ik heb nog even gecheckt maar volgens mij is 0.95 3 nog steeds de meeste actuele Kernel, dus hoef ik bij nader inzien niets te doen. Ook via het terminal venster even gekeken of ik 1 clam versie op de pc heb, dat blijkt het geval. Ik wacht dus nu even af. Bedankt voor de support!