[coreboot] How to access temperature sensors on 'modern' thinkpads?