Eu tentei como o G-man sugeriu nos comentários. O Makefile principal incluirá o 'Makefile.inc1' e passará alguns parâmetros para ele, por exemplo: TARGET_ARCH=i386 , que é onde buildkernel é definido.
Estou tentando compilar um kernel do FreeBSD 9.3. nos docs afirma que os comandos make buildkernel e make installkernel devem ser executados, no entanto não consigo encontrar esses dois alvos em nenhum lugar nos arquivos make, (eu não tentei executá-los ainda), eu tenho mesmo ack mas eles só podiam encontrar usos e não onde eles são definidos.
Eu tentei como o G-man sugeriu nos comentários. O Makefile principal incluirá o 'Makefile.inc1' e passará alguns parâmetros para ele, por exemplo: TARGET_ARCH=i386 , que é onde buildkernel é definido.