Added kernel-config