Are these the same kernel that were provided by kernel.org??
I dont know.
I was trying to help you with sources. I did google - and pasted what I found
I am bit sceptical using any software which comes from china.
Following is whois information for given download link.
Changchun University of Technology (DOM)
NO.17 Yanan Avenue Changchun
Changchun, JL 130012
I apologize for hassle.