A random curiosity statistical research. This graph displays a growth of GENERIC OpenBSD kernel size over time, espacially i386 and amd64 kernels.

Compared with Linux or FreeBSD kernels and also taking into account that this is a monolitic kernel, it's still quite a tiny kernel.