vmlinux

Здравствуйте! Сразу скажу, что в Linux я особо не бум-бум, потому, что только начинаю. Возник такой вопрос: если в файле /boot/vmlinuz - лежит ядро, то что находится в файле /boot/vmlinux? Надеюсь, что это не самый глупый вопрос, который можно было задать.