Что должно находиться в Windows/System32/drivers/?

Question

[thatside]

В рамках поиска ответа на свой другой вопрос (привожу ссылку: Конфликт TAP-Windows Adapter V9 и PPPOE, вдруг найдется еще ответ) обнаружил такую интересность: на моем ноутбуке в Windows 8.1 в папке C:/Windows/System32/drivers/ находятся несколько папок, среди которых известная etc, и 5 файлов, из них 3 - с расширением *.sys.
На компьютере девушки, на которой та же самая Windows 8.1 в той самой папке файлов гораздо больше, все с расширением *.sys
Искал конкретно tap0901.sys, у нее он есть в этой папке, и в еще одной, C:/Windows/System32/DriverStore/..., у меня только в вышеуказанной, причем в двух экземплярах.

Собственно, суть вопроса: нормально ли такое состояние моего компьютера? В сети не раз видел советы скопировать-удалить-заменить файлы в C:/Windows/System32/drivers/, то есть, у людей там все должно храниться - у меня нету ничего.