added kernel config from work