Ноутбук настроен для использования надлежащего сервера DNS? Это было бы сервером DNS, который содержит Ваше AD пространство доменных имен DNS, которое является, по-видимому, Вашим DC. В противном случае затем настройте его для использования того сервера DNS.
Первым делом нужно попытаться получить модули для работающего ядра у этих ребят. Кроме того, он может узнать, какие версии уже загруженных модулей. Может это ВМ? (Xen? OpenVZ?) Тогда ему, возможно, было предоставлено ядро + initrd с хоста, что объяснило бы, как оно вообще получило не полностью установленное ядро.
И вы можете почувствовать себя удачливым и попробовать использовать insmod (не do dependencies) модуля ppp из более старой версии ядра.