Vanilla-Kernel mit gpg pruefen