add recipe for the build tree of the Linux kernel (the compiled one)