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