사용자 정의 커널 소스에서 빌드월드를 생성할 때 헤더를 찾을 수 없습니다

freebsd에 사용자 정의 커널을 설치하려고 합니다. 다음 단계를 따르세요.

1. 이미지에서 가상 머신에 freebsd 9.1을 설치합니다.
2. HardenedBSD(분기 Hardened/9/kernsep)에서 소스 코드 가져오기
3. 소스 트리(/hardenedBSD)에서 "make buildworld"를 실행합니다.

이 시점에서 make buildworld는 컴파일러가 "nk/nk_cpufunc.h"를 찾을 수 없고 사용자 정의 커널이 sys/cpufunc.h에 선언된 #include라는 오류를 표시합니다. 오류 메시지는 다음과 같습니다.

In file included from /usr/home/realyuki/hardenedBSD/lib/libc/amd64/gen/getcontextx.c:35:
/usr/obj/usr/home/realyuki/hardenedBSD/tmp/usr/include/machine/cpufunc.h:42:27: error: nk/nk_cpufunc.h: No such file or directory
/usr/obj/usr/home/realyuki/hardenedBSD/tmp/usr/include/machine/cpufunc.h:43:25: error: sys/nk/vmmu.h: No such file or directory
In file included from /usr/home/realyuki/hardenedBSD/lib/libc/amd64/sys/__vdso_gettc.c:33:
/usr/obj/usr/home/realyuki/hardenedBSD/tmp/usr/include/machine/cpufunc.h:42:27: error: nk/nk_cpufunc.h: No such file or directory
/usr/obj/usr/home/realyuki/hardenedBSD/tmp/usr/include/machine/cpufunc.h:43:25: error: sys/nk/vmmu.h: No such file or directory
In file included from /usr/home/realyuki/hardenedBSD/lib/libc/stdlib/malloc.c:179:
/usr/obj/usr/home/realyuki/hardenedBSD/tmp/usr/include/machine/cpufunc.h:42:27: error: nk/nk_cpufunc.h: No such file or directory
/usr/obj/usr/home/realyuki/hardenedBSD/tmp/usr/include/machine/cpufunc.h:43:25: error: sys/nk/vmmu.h: No such file or directory
mkdep: compile failed
*** [.depend] Error code 1

Stop in /usr/home/realyuki/hardenedBSD/lib/libc.
*** [lib/libc__L] Error code 1

Stop in /usr/home/realyuki/hardenedBSD.
*** [libraries] Error code 1

Stop in /usr/home/realyuki/hardenedBSD.
*** [_libraries] Error code 1

Stop in /usr/home/realyuki/hardenedBSD.
*** [buildworld] Error code 1

Stop in /usr/home/realyuki/hardenedBSD.

어떤 제안이라도 감사하겠습니다.