[TUHS] FreeBSD kernel not OK? (was: What do you currently use for your primary OS at home?)