【etch-AMD64】カーネルバージョンアップ後、VMware Serverが起動しない

ちょっとハマったので、メモ。
VMware Serverはインストール時にkernel headersを指定しているので、カーネルバージョンアップ後に新しいバージョンのkernel headersを参照させる必要がある。
デフォルトではインストール時に/usr/src/linuxを指定しており、/usr/src/linuxは/usr/src/linux-headers-へのシンボリックリンクになっているので、リンク先をバージョンアップ後のkernel headersに変更すれば問題なく起動する。
カーネルバージョンアップ後にVMwareが起動しなくなった場合は、/usr/src/linuxのリンク先がカーネルバージョンと一致しているか確認しよう。