Сборка ядра 2.6.35.7 + xenomai 2.5.5.2

Приветствую форумчане!
Этот жестокий мир заставил-таки собирать свое ядро, несмотря на то, что я являюсь обычным пользователем и мои основные действия заключаются в принципе "кликнул-все само поставилось". Цель - RTOS kubuntu+xenomai для информационно-измерительной системы. На этапе сборки пропатченного ядра было достаточно сложностей, но сейчас запоролся на вещи, которую мне сложно осознать: на этапе компиляции ядра sudo make modules_install install выпадает сообщение

sh /media/data/linux-2.6.35.7/arch/x86/boot/install.sh 2.6.35.7 arch/x86/boot/bzImage \
                System.map "/boot"
run-parts: executing /etc/kernel/postinst.d/dkms 2.6.35.7 /boot/vmlinuz-2.6.35.7
ERROR (dkms apport): kernel package linux-headers-2.6.35.7 is not supported
Error! Bad return status for module build on kernel: 2.6.35.7 (i686)
Consult /var/lib/dkms/open-vm-tools/2011.12.20/build/make.log for more information.

Я расцениваю это как отсутствие пакета linux-headers-2.6.35.7 в системе; Проблема в том что я не смог найти этот пакет в интернете, поэтому буду благодарен за ссылку на пакет или ( если я не прав, проблемма не в этом ) указание дальнейших действий.

Список решенных проблемм на текущий момент(вдруг кому пригодится):
gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3
linux-2.6.35.7: (with xenomai 2.5.5.2 patching)

In arch/x86/vdso/Makefile :
replace "-m elf_x86_64" by "-m64" on the line starting with VDSO_LDFLAGS_vdso.lds
replace "-m elf_x86" by "-m32" on the line starting with VDSO_LDFLAGS_vdso32.lds

"Disable CONFIG_CC_STACKPROTECTOR in your kernel configuration" (it seems for xenomai only)
CONFIG_CC_STACKPROTECTOR=n

--delay problem--
diff --git a/drivers/net/tokenring/tms380tr.c b/drivers/net/tokenring/tms380tr.c
index 663b886..7930203 100644
--- a/drivers/net/tokenring/tms380tr.c
+++ b/drivers/net/tokenring/tms380tr.c
@@ -1220,7 +1220,7 @@ void tms380tr_wait(unsigned long time)
tmp = schedule_timeout_interruptible(tmp);
} while(time_after(tmp, jiffies));
#else
- udelay(time);
+ mdelay(time / 1000);
#endif
}

--duplicate member "page"--
drivers/net/igbvf/igbvf.h | 1 -
1 file changed, 1 deletion(-)

--- a/drivers/net/igbvf/igbvf.h
+++ b/drivers/net/igbvf/igbvf.h
@@ -126,7 +126,6 @@ struct igbvf_buffer {
unsigned int page_offset;
};
};
- struct page *page;
};

union igbvf_desc {

kernel .config:
- Processor type and features
Processor family = choose yours
[ ] Enable -fstack-protector buffer overflow detection
- Power management and ACPI options
[ ] Cpu Frequency scaling
- - ACPI (Advanced Configuration and Power Interface) Support
< > Processor

Материалы:
http://www.xenomai.org/index.php/Xenomai_quick_build_quide
https://github.com/jorgeazevedo/xenomai-lab/wiki/How-to-install-Xenomai