Add check for kernel config