Re: [coreboot] Fans and BIOS