Re: [coreboot] T430 fan control