Kernel-Update - muß da noch was mit GRUB gemacht werden ?