check for __FreeBSD_kernel__ (bug 3810)