前のblogで書いていたカーネルの種別なんですけど、server版も
vmlinuz-3.2.0-24-generic
でOKみたいですね。
Ubuntu 12.04 ではサーバ版とデスクトップ版でカーネルを統合したみたい。
http://askubuntu.com/questions/122571/why-is-ubuntu-12-04-removing-server-kernel-flavour
これでめでたく10.04から12.04へupgrade完了ということで、 長期運用に入れるにゃん