Fix install typo
Adjustment of kernel compilation