Specifying the kernel config