Welcher Kernel ist richtig