Adding kernel configs