[TUHS] Re: FreeBSD kernel not OK?