cvsupしなおしてみたら何も落とさすFinished successfullyになったので
一応念のため/usr/src/Makefileをリネームしてcvsupで落としなおしましたがやっぱりないですね。

Googleにも情報全然無いしなんだろうなぁと思っていたところで>>128。
もうないものでしたか。残念。