não pode localizar o cabeçalho ao fazer o buildworld na fonte do kernel personalizado

Question

Estou tentando instalar um kernel personalizado no freebsd e aqui está o passo seguinte:

1. instale o freebsd 9.1 na vm da imagem
2. obtenha a fonte do hardenedBSD (branch endurecido / 9 / kernsep)
3. execute "make buildworld" na árvore de fontes (/ hardenedBSD)

neste ponto, make buildworld me deu um erro que o compilador não pode localizar "nk / nk_cpufunc.h" que o kernel personalizado declarou em sys / cpufunc.h com #include. A mensagem de erro foi a seguinte:

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.

Eu apreciaria quaisquer conselhos.