Added GNU/kFreeBSD kernel name (TARGET_OS)

uname -s returns "GNU/kFreeBSD" on Debian GNU/kFreeBSD port. See http://www.debian.org/ports/kfreebsd-gnu/
Merge pull request #2765 from vobornik/master

recognize Debian kFreeBSD port by build_detect_platform script