カーネルのバージョンを上げたためか、「vmware-config.pl」を実行してもVMwareが動かなくなったので「VMware」のところに書いておいたように http://ftp.cvut.cz/vmware/ から「vmware-any-any-update109.tar.gz」を取ってきて設定しなおしたら動いた。良かった良かった。