Use unversioned gnukfreebsd platform.

Currently Debian unstable gnukfreebsd uses a freebsd 10 kernel.
The version shouldn't be hardcoded in platform_helper.

See https://bugs.debian.org/717364