Właśnie nie udało mi się skompilować kernela. Okazało się, że nie da się skompilować nowego kernela bez zainstalowanego pakietu kernel-headers. Prawdopodobnie, trzeba gdzieś w specu (lub odpowiednim patchu) dopisać: -I$RPM_BUILD_DIR/linux/include Lub coś podobniego. Pozdrowienia, Jacek