GSRD 15 linux kernel checkout from git


I am experimenting with the GSRD 15.0, and I’ve been following the instructions on this page:

When I boot the system, I can see the linux version printed to my putty console, which is:


My question is: How do I find this EXACT kernel in the git repository? After cloning the repo with the command, “git clone”, and executing a “git tag -l rel*” command, I see a whole bunch of 3.10 kernels, but which one is the one that matches up exactly with the kernel in GSRD 15.0 (link above)?

I would be grateful if someone can help me, thanks…