カスタムカーネルソースからビルドワールドを作成するとヘッダーが見つかりません

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.

どんな提案にも感謝します。