T440p: Does not display fan RPM
With the OEM firmware, the fan RPM are displayed in the
sensors output in Linux. After flashing coreboot, this value is no longer displayed.
The CPU temperatures etc. still work fine, only the fan RPMs are missing. Would be great to have it.