Build tools for the kernel