martine/ninja — pull request #770 by debfx (2014-05-30 21:01:30+00:00)
Title: 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