Well the problem is, some how I can't really see what the kernel is.
If I go to the root folder of my mac system, all possible kernels I see are the following:
Chocolate_kernel
mach_kernel.backup
and legacy_kernel which doesnt have an icon.

So my suggest would be that there is some file who points the system which kernel it must use.. Right?

Even though, which one would you suggest?