Setting GPIO output of different pinset to different pull state on boot

I am trying to set some GPIO pins HIGH on boot and another pin LOW on boot. I know about RESIN_HOST_CONFIG_gpio and Have set it to:

24,10,09,25,11,08=pu

which works. However, I now need to set pin 4 to LOW which I’m not sure how to set.