Вы можете посмотреть, как найти руководство, но я сомневаюсь, что это правильный способ найти сокеты и / или файлы устройств ... Я думаю, что программа для поиска такого устройства отличается от другой, не помню, что прямо сейчас, извините!
Ну, из-за версии ядра, я думаю, у вас есть Ubuntu 12.10 (12.11 - это не версия Ubuntu, пожалуйста, отредактируйте свой вопрос и исправьте его).
Тогда вы сказали, что виртуальный бокс не работает из-за отсутствия заголовков ядра 3.2.0-32. Это ядро с версии 12.04 Ubuntu. Ubuntu 12.10 использует 3.5.0-17 (серия 3.5). Поэтому единственное, что я могу догадаться, это то, что вы обновили с 12.04 до 12.10, а старое ядро осталось в вашей системе.
Легкое решение здесь - удалить старое ядро 3.2.0-32.
См. здесь, как удалить старое ядро
Затем запустите еще раз sudo /etc/init.d/vboxdrv setup и должно быть хорошо.
Я следил за советом @NikTh, но это заставило мою систему не загрузиться. Похоже, что загрузчик Grub не полностью обновился, когда я обновил Ubuntu до версии 12.10. Пакет был извлечен, но не установлен. Я смог определить этот факт после загрузки командной строки в ядро 3.5.0-18. Затем я перезагрузился с моего оригинального установочного компакт-диска версии 9.04 и в меню выбрал «Восстановить поврежденную систему». Затем в режиме выбора режима спасения я выбрал «Переустановить загрузчик GRUB». Это решило мою проблему, исправив ошибки в загрузчике и, следовательно, предоставив указатели на текущее ядро для работы vbox снова.