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.