The text 4d6200c623e9, as OpenBSD 5.2 shipped it.
kernel configuration options
options(4) on OpenBSD now
