Translate a few more kernel32 calls into the ntdll equivalents.