Build fails on Debian/kfreebsd

configure.py gets called with --platform=kfreebsd8 on Debian/kfreebsd.  I've patched platform_helper.py to support this and put a patch in the Debian package as well.