Fixing kfreebsd failure?

Dont know @barak, does this makes sense? I still see the build failure, maybe because a os not properly detected?

Would be nice to have access to a kfreebsd machine, but I don't know how to do it