I'm going to drive the 'program' pin of a FPGA with GPIO3_19. This signal must be at high level during powerup. Powerup for this pin is High-z with activ pulldown. So I have to install an external pullup. Because nowhere the value of the internal pullup/pulldown resistors is defined I don't know the needed value of the external pullup. What value must an external pullup-resistor have to generate a valid high level against the internal pulldown?