我正在尝试在 Fedora 19 中安装 VMWare 播放器。我遇到了多个用户遇到的问题，其中 VMware 播放器找不到内核头文件。我已经安装了kernel-headers和kernel-devel包yum，出现的文件/usr/src/kernels是：
3.12.8-200.fc19.x86_64
但是，当我这样做时，uname -r我的 Fedora 内核版本是：
3.9.5-301.fc19.x86_64
这是一个不同的版本。这似乎意味着当我将 VMware player 指向内核路径时，我收到此错误：
C header files matching your running kernel were not found.
Refer to your distribution's documentation for installation instructions.
如何安装正确的内核，如果不是，我应该将 VMware 指向哪里/usr/src/kernels/<my-kernel>？