can't build pbsdboot

[kazuma@sola.c.u-tokyo.ac.jp]

はじめまして、有野といいます。pbsdboot.exeがbuild出来ません。
VC++5.0にCE用のEmbeded(スペルはいい加減です)ツールキットの英語版
を用いてpbsdbootをbuildしようと思い、
src/sys/arch/hpcmips/stand
以下をftp.netbsd.orgのNetBSD-currentからダウンロードして
buildしたて、無い、と言われるいくつかのファイル、たぶん
src/sys/lib/libsa
src/sys/arch/mips/include
src/sys/arch/hpcmips/include
以下と
src/sys/lib/libkern/libkern.h
を入手してbuildしましたが、
src/sys/sys/ansi.h
の中の42行目の、
#include <machine/int_types.h>
という所のmachine/int_types.hというファイルがみつかりません。
machineというと、
src/sys/arch/hpcmips/stand/include/machine
しか無い様に思えるのですが。int_types.hというのは
src/sys/arch/hpcmips/include
あたりに見つかりましたが、machine以下には無く見えます。
何かダウンロードしなくてはならないファイルが他にあるのでしょ
うか？