That one is located in system32. You are looking for ntoskrnl and not ntoskrnl.exe.