I'll check soon, but the only 'documented' pins I know off hand to be cautions of are "Pins 0, 1, and 2 must not be held low at boot" and "Pin 6 must not be held high at boot". Just a sanity check - do you mean the pin marked P4, or the fourth one down (from VCC) - as that is P2?
Edit: No, I can confirm - P4 (TX) to GND via 10k results in no startup, and ~30ma power consumption instead ~75ma power consumption. I have absolutely no idea why though - as far as I can tell, that pin, GPIO1 isn't one of the 'magic' bootup pins, and i can't see why it wouldn't work, except for also being the default serial TX pin??