Setting fan to max in Taco

I have tried the Python script listed in the wiki and it works as advertised. However, I have a 5V fan which for some reason cannot handle PWM well, and it only works when it’s at 100% duty cycle. I have modified the Python script to always set the duty cycle to 100% regardless of the temperature, and this works fine.
(I am reducing the fan’s speed with a resistor.)

Regardless, it’s silly to be using a constantly running script when all I want the Taco to do is to set the 5V fan circuit to always on. Is there a way to achieve this? Even better, is there a way to turn on the fan in u-boot already?

In the meantime I found out how to do it. To turn on the fan without bothering with PWM, you can just run gpioset gpiochip0 13=1. If you want to set it at boot time, append the following line to /boot/firmware/config.txt:

gpio=13=op,dh