RE: ntdll.dll vs. ntoskrnl.exe