Sync with FreeBSD - add OpenBSD 4.2.