update cbmc kernel config