Мне даже не важно, являются ли они настоящими "отладочными" версиями, все, что мне действительно нужно, это файлы символов, чтобы мой стек вызовов не считался недействительным, когда я врывался в отладчик.
NVIDIA также опубликовала их ( объявление ) по следующему URL:
https://driver-symbols.nvidia.com/
Это просто двоичные файлы, а не PDB.
AMD теперь публикует символы для своих драйверов: http://gpuopen.com/amd-driver-symbol-server/