Kerner 4.9.25-v7+

Goog Morning:
I have a Raspberry Pi 3 Model B and I need to conect a USB câmera Lumenera (LU100).
Lumenera send me a driver and this used kernel 4.9.25-v7+.
For Raspberry i use the system Ubuntu Mate.
I am a biginner in Ubuntu and i need to help as how to locate this kernel version.
Second, i undestand that i need to compile this version for install in Ubuntu System.
Coud you help me with this procedure?
Thank You.
Best Regards.