There is no such file as kernel.dll in Windows installation, this file can be simply deleted.
The true Windows kernel is called kernel32.dll.