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