Re: kein Boot nach Kernel-Update [workaround]