Of course, I couldn't resist the temptation and went ahead with a dist- upgrade. Things went relatively smoothly. I will report the issues on ubuntuforums to avoid going off-topic here.
Related to our problem, the new kernel boots but the keyboard doesn't work again. Fortunately, I have sshd running, so I can still use the system from another computer. This might be good for debugging, because now I can gather information that we couldn't with the installation disc. Any ideas are appreciated. -- Unable to utilize keyboard on Blade 100 and 150 https://bugs.launchpad.net/bugs/99790 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs