lorenz Mon, 25 Apr 2016 11:30:06 -0700
Ahh ok, thanks!
Ok then I can skip the installation of another kernel.