The text a06a88d0f664, as OpenBSD 2.8 shipped it.
miscellaneous kernel configuration options
options(4) on OpenBSD now
