Hi @eik3!
I've tried to reproduce this on our EVK, using your device tree, but I don't get the same behavior. The pin stays low while U-Boot boots.
Are you sure that no other connection to that pin is the culprit for pulling the pin high? One way to investigate is to completely remove the pin from the device tree, so it stays default (input).
On the customer's board, is this IO bank supplied with 3V3 or 1V8? In case of 3V3, the GPIO does not support internal pull-up or pull-down resistor. So, an external pull-down resistor is mandatory.

Best Regards!
Chavira