The true Windows kernel is called kernel32.dll
Oh thank you for correcting me igor