Debian to harness FreeBSD with kernel port