Various modifications of the kernel config