типа в /usr/linux/linux-[version]/src

а может в совсем другой директории

надо напечатать make -gui

а может чегото совсем другое напечатать

я тоже не помню..... и все равно не скажу