$ sudo rpm -ivh VMware-workstation-4.5.3-19414.i386.rpm
$ sudo vmware-config.pl
Do you want to use the
version "3.3.2" of compiler "/usr/bin/gcc"? [no] yes
What is the location of the directory of C header files that match your running
kernel? [/usr/src/linux/include]
The directory of kernel headers (version 2.4.31-0vl1.12) does not match your
running kernel (version 2.4.31-0vl1.8). Even if the module were to compile
successfully, it would not load into the running kernel.
カーネルヘッダが現在のカーネルと一致していない。
とりあえず、カーネルのアップデートをする。
カーネルをvl1.12にすると、うまくvmware-config.plが完了。