Added another kernel config location