Bug#864040: Remove "1.4. What is Debian GNU/kFreeBSD?" ?

[Adrian Bunk]

Package: src:installation-guide
Version: 20170525
Severity: minor

No kFreeBSD port is part of stretch, does it make sense to describe it?

Like with Hurd, it would IMHO be better not to discuss
non-release ports here.