Hi
So you haven’t dupped your system to the 4.12.9 kernel yet
So when you mean sensor number you mean chip, which is? You known you can force the current it87 module with your device id (which is?) to make it work?
If that doesn’t work, can make a KMP (Kernel Module Package) for you to install.