Add gnu/kfreebsd to list of recognized operating systems.