original_kernel/arch/x86_64/boot/tools
..
build.c