kfreebsd is using make

debian/kfreebsd i386, amd64 :
it's like freebsd kernel with GNU userland, so no gmake here.