problem s kernel-PAE source pri instalaci vmware serveru

ahoj, mam problem pri konfiguraci vmware serveru. nainstaloval posledni kernel-PAE-devel, ale vmware konfigurator mi stale hlasi, ze jsou spatne!? viz http://pastebin.com/RM7AdL97

Nepotrebujes spis balik kernel-headers?

Jinak je asi nejaka chyba v tom VMware skriptu. Pokud nutne nepotrebujes PAE kernel tak muzes zkusit nainstalovat i kernel bez PAE.