[coreboot] [coreboot - Feature #320] (New) T440p: Does not display fan RPM