Bug#704284: release-notes: please call kfreebsd the kernel of FreeBSD, not the FreeBSD kernel

[Jonathan Nieder <jrnieder@gmail.com>]

Package: release-notes
Version: r9650
Tags: wheezy patch

Hi,

To make it crystal clear that Debian GNU/kFreeBSD is not and does not
contain a version of FreeBSD, the kFreeBSD porters have generally been
careful to avoid referring to the kernel in documentation as the
"FreeBSD kernel".  Here's a patch to exercise the same care in the
release notes.

Thanks,
Jonathan

Index: whats-new.dbk
===================================================================
--- whats-new.dbk	(révision 9650)
+++ whats-new.dbk	(copie de travail)
@@ -96,7 +96,7 @@
 contains the GNU/kFreeBSD ports ('kfreebsd-amd64' and 'kfreebsd-i386')
 introduced in &debian; squeeze, as a technology preview.  These ports are the
 first ones included in a Debian release which aren't based on the Linux kernel,
-but instead use the FreeBSD kernel with a GNU userland. Users of these versions
+but instead use the kernel of FreeBSD with a GNU userland. Users of these versions
 however should be warned that the quality of these ports is still catching up
 with the outstanding high quality of our Linux ports, and that some advanced
 desktop features are not supported yet. However, the support of common server