Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum
Why do you think that https://github.com/MoneroOcean/xmrig is a good alternative to raspberry-linux-64