Add dummy kfreebsd option (implementation to be completed).

Build config.ml as bytecode for dynlinking.