So now you're talking about the ntdll.dll ABI instead of the kernel ABI. ntdll.dll is not the kernel.