Add SMP support for OpenBSD