[Debian] vmlinux?

[Kir Kolyshkin]

Hi folks,

Our OpenVZ kernel guys complained to be that Debian kernel packages
do not contain vmlinux file (which is usually required to debug some
problem), and there is no way to get one for a given kernel.

I guess they are wrong, but can't prove that. Could you please help
me with that and point out to a location where we can get vmlinux'es
for the official debian kernels?

Many thanks,

   Kir.