i7-8550U core temps

Lenovo T580: i7-8550U
Debian Buster
Kernel 4.3.12 (static), .config:
----------------------------------
...
CONFIG_I2C_SMBUS=y
CONFIG_I2C_ALGOBIT=y
...
CONFIG_I2C_I801=y
...
----------------------------------

lspci -v
-------------------------------------------------------------
...
00:1f.4 SMBus: Intel Corporation Sunrise Point-LP SMBus (rev 21)
	Subsystem: Lenovo Sunrise Point-LP SMBus
	Flags: medium devsel, IRQ 16
	Memory at ed253000 (64-bit, non-prefetchable) [size%6]
	I/O ports at efa0 [size2]
	Kernel driver in use: i801_smbus
...
--------------------------------------------------------------

Only 4 core temps reported by sensors (/proc/cpuinfo shows all 8).

Senors report:
---------------------------------------------
thinkpad-isa-0000
Adapter: ISA adapter
fan1:           0 RPM

coretemp-isa-0000
Adapter: ISA adapter
Package id 0:  +45.0°C  (high = +100.0°C, crit = +100.0°C)
Core 0:        +44.0°C  (high = +100.0°C, crit = +100.0°C)
Core 1:        +43.0°C  (high = +100.0°C, crit = +100.0°C)
Core 2:        +43.0°C  (high = +100.0°C, crit = +100.0°C)
Core 3:        +44.0°C  (high = +100.0°C, crit = +100.0°C)

acpitz-virtual-0
Adapter: Virtual device
temp1:        +44.0°C  (crit = +98.0°C)

pch_skylake-virtual-0
Adapter: Virtual device
temp1:        +40.0°C

iwlwifi-virtual-0
Adapter: Virtual device
temp1:        +34.0°C
------------------------------------------------

sensors-detect complains:

-------------------------------------------------
Do you want to probe the I2C/SMBus adapters now? (YES/no):
Using driver `i2c-i801' for device 0000:00:1f.4: Sunrise Point-LP (PCH)
modprobe: FATAL: Module i2c-dev not found in directory /lib/modules/4.13.12
Failed to load module i2c-dev.
------------------------------------------------

Of course module can not be loaded in a static kernel. IMHO detection 
should not depend on that.

Is this the reason for not showing any core temps under thinkpad-isa-0000?

Why only 4 under coretemp-isa-0000?


Pekka