特定のバージョンのLinuxカーネルのカーネルヘッダファイルを見つける方法は？

以下のようにLinuxシステム用のカーネルモジュールを作成する必要があります。

# uname -a
Linux (none) 3.7.1 #1 SMP Mon Dec 23 06:07:19 PST 2013 i686 GNU/Linux

# cat /proc/cpuinfo
processor       : 0
vendor_id       : GenuineIntel
cpu family      : 6
model           : 6
model name      : QEMU Virtual CPU version 2.5+
stepping        : 3
cpu MHz         : 2793.012
cache size      : 4096 KB
fdiv_bug        : no
hlt_bug         : no
f00f_bug        : no
coma_bug        : no
fpu             : yes
fpu_exception   : yes
cpuid level     : 4
wp              : yes
flags           : fpu de pse tsc msr pae mce cx8 apic sep pge cmov mmx fxsr sse sse2 pni hypervisor
bogomips        : 5586.02
clflush size    : 32
cache_alignment : 32
address sizes   : 36 bits physical, 32 bits virtual
power management:

Linuxシステムにはカーネルヘッダーやビルドシステムはインストールされていません（gcc/ ld）。だから私のシステムにローカルに設定する必要があります。この特定のシステムのカーネルヘッダファイルをどのように見つけることができますか？これgithubのLinuxカーネル 次のバージョンのみがあり、インストールされているv3.7.1カーネルバージョン（）と正確に一致するバージョンはありません。

$ git tag | grep v3.7
v3.7
v3.7-rc1
v3.7-rc2
v3.7-rc3
v3.7-rc4
v3.7-rc5
v3.7-rc6
v3.7-rc7
v3.7-rc8