Sometimes the Windows symbols are actually missing on Microsoft's symbol servers - the best indication is the "not found" error from the Symbol Server when noisy loading is set.
In this case, one should contact the public Windbg External Feedback alias - windbgfb@microsoft.com. I did this in my case (for ntdll.dll version is 6.1.7601.18241) and Microsoft resolved the problem in about a week's time.