On Thu, 2019-02-07 at 18:26 -0700, Jerry Hoemann wrote:> The name is not the best given its current use, but I'm not sure a> name change would be allowed.> > However, I will send a patch to update the documentation in Kconfig.> > Thanks!