The build scripts use genkernel to build the kernel and look for the kernel in /usr/src/linux-tinhat. This detail has been added to make it clearer for build script users.
This is a revamping of the TinHat build, see http://opensource.dyc.edu/tinhat Signed-off-by: Anthony G. Basile <blueness@gentoo.org>