Am Sonntag, 25. November 2012, 20:23:08 schrieb Walter Dnes: a lot easier: grub with entry: vmlinuz vmlinuz.old
in /usr/src/linux: make all modules_install install no problems, latest kernel will boot by default, previous kernel .old. see? easy. -- #163933