Debianのカーネルパッケージのvmlinuxイメージってどこかにありませんか？

oprofile取りたいのだけど、vmlinuxイメージないのでカーネル関数レベルの
プロファイルが取れないのです。もちろん自前ビルドすればできますが、
稼動中で止められないDebianシステムでの話なんで、カーネルパッケージに
入っているvmlinuzとペアになるvmlinuxがあればと・・・