add kernel id to configs