How do you know it's corrupted? Also are you sure it's kernel.dll?
From what I can tell Windows XP has a kernel32.dll but not a kernel.dll file.
Did this just happen out of the blue or were you installing something like a service pack when this happened?