One more thing, as you probably know the PWM fans stay full tilt without linux "fancontrol" so make sure to include a note instructing people to turn it on. (for a moment I had assumed that libreboot removed the fan controller ic firmware or something)