Я же написал, у VMWare была грабля с поиском путей. Если её так и не исправили, не поможет. Суть не помню, они там в симлинках заблудились, кажется. А в ALT на нужные хидеры указывает цепочка симлинков, так как ядер много и бывают нужны разные хидеры. И есть adjust_kernel_headers из пакета kernel-headers-common. Кстати, а kernel-headers-modules-std-def стоит ? Или только kernel-headers-std-def ? Последний, вроде бы, и не должен быть нужен. Вообще, я давно модулей не собирал, могу быть неточен чуть-чуть.
