It belongs in an autogen.input, not in a distro-configs file.

Change-Id: I2e22f94fe9e11986fa40a632e12a272193172bac