Kernel Header?

[Nathaniel Biser]

Hello,I'm looking for Kernel Headers 3.7-trunk-amd64. I have searched the net 
and debian and haven't been able to find any matches. I need it to run vmware 
player on kali linux. Any suggestions on where I can get this? Thanks,Nathaniel 
Biser