make build infos go to #rumpkernel-builds