linux kernel のバイナリはどこにある？

linux CentOS

ふと疑問に思い、ググりつつ CentOS 6.4 で見てみたら、どうやら /boot/vmlinuz-2.6.32-358.el6.x86_64 というのがそれらしい。
vmlinuz というのは圧縮イメージらしい。
サイズは3.9MB。
小さいな。kernelだけだとそんなもんか？