added kernel config