Optimizing kernel-devel