Kernel sources come in two formats
Either *.tar.bz2 or *.tar.xz
Don't trust kernel numbers to distinguish between them, just check the actula format