Using a sequence of dist-upgrade and rpi-update, my Pi running an Raspberry-Foundation Raspian image has arrived at booting Kernel 3.10.25+. I need to build additional kernel modules (namely spi-config and a bunch of CAN-Networking modules). However, I cannot find sources that will let me compile a matching kernel.
I have successfully built a Kernel 3.10.24+ that I believe would match the kernel part of the latest raspbian image by extracting the git hash from the firmware. However this is not the Kernel my Pi is running after the dist-upgrade.

Therefore I would like to know, what is the git hash/revision, the current linux-image-3.10.25+ package for raspbian was built from?

Steps To reproduce:

• Setup a cross compilation environment (Kubuntu 13.10 VM, git-clone raspberry/tools/)
• dist-upgrade Pi to 3.10.25+ (alternate running dist-upgrade and rpi-upgrade until nothing changes anymore)
• apt-get install linux-source-3.10
• Copy and extract the resulting /usr/src/linux-source-3.10.tar.xz to the cross compilation environment
• Copy and extract /proc/config.gz to linux-source-3.10/.config in cross compilation environment
• make oldconfig
• make
• make modules_install

Expected Output:
Modules for Kernel version 3.10.25+.

Actual Output:
Modules for Kernel version 3.10.25 (note the lacking "+").