[QUESTION] HTC Desire 820 Kernel Code?

Hello!
I was looking for HTC Desire 820 kernel souce code, and i've found this: http://ift.tt/2bW7bXB
Is this an official kernel source for HTC Desire 820?

from xda-developers http://ift.tt/2cgDiQ5
via IFTTT