「RHEL 7.0 vmlinux」ファイルを取得するには？

crashで使用したいですRHEL 7.0。ファイルがcrash必要ですvmlinuxが、フォルダには見つからないため、/boot次の操作しかできませんvmlinuxz。

......
vmlinuz-0-rescue-7c50639231494746b5dffc0a1ff84727
vmlinuz-3.10.0-123.el7.x86_64
vmlinuz-3.10.0-123.el7.x86_64.debug
......

ファイルからすべてのkernel * .pkgをインストールしましたRHEL 7.0 ISO。

[root@localhost boot]# yum install kernel*
Loaded plugins: product-id, subscription-manager
This system is not registered to Red Hat Subscription Management. You can use subscription-manager to register.
RHEL                                                                                        | 4.1 kB  00:00:00
Package kernel-headers-3.10.0-123.el7.x86_64 already installed and latest version
Package kernel-3.10.0-123.el7.x86_64 already installed and latest version
Package kernel-abi-whitelists-3.10.0-123.el7.noarch already installed and latest version
Package kernel-debug-3.10.0-123.el7.x86_64 already installed and latest version
Package kernel-tools-libs-3.10.0-123.el7.x86_64 already installed and latest version
Package kernel-devel-3.10.0-123.el7.x86_64 already installed and latest version
Package kernel-debug-devel-3.10.0-123.el7.x86_64 already installed and latest version
Package kernel-tools-3.10.0-123.el7.x86_64 already installed and latest version
Nothing to do

RHEL 7.0 vmlinuxでは、ファイルはどのように保存されますか？