independent options available during kernel configuration. The man
page is still incomplete, but there is enough in it that it should be
in the repository. Next on the list: port specific versions of this
page.
Many thanks to the cast of thousands who helped contribute text for
this.