I noticed that one kfreebsd-amd64 buildd (kamp) is operational and is currently happily building the huge backlog of packages. Many thanks to the people responsible for this.