Yes it's "linux-kernel-sources-env.tcz" (I wish I would have named it differently, but there you go..) it has been updated to work in current 32bit and 64bit architectures. I use it to prepare the system for building kernel modules in lieu of kernel headers, it can used or be modified or extended for this purpose too I guess