What if the user has not installed kernel-source package? The config
file for all the running kernels are available in /boot. Here is mine:
ot.0300 initrd.img-2.6.8-1-686
boot-compat.b.preserved ins64a.bmp
config-2.4.18-bf2.4 map
config-2.6.6 System.map-2.4.18-bf2.4
config-2.6.8-1-686 System.map-2.6.6
config-2.6.9 System.map-2.6.8-1-686 vmlinuz-2.6.9
debian-bootscreen-woody.bmp System.map-2.6.9
deb-sarge.bmp vmlinuz-2.4.18-bf2.4
grub vmlinuz-2.6.6
initrd.img-2.4.18-686 vmlinuz-2.6.8-1-686
Regards,