The text 9cd680e39c29, as OpenBSD 3.7 shipped it.
miscellaneous kernel configuration options
options(4) on OpenBSD now
