STM32F4 - TCK/SWDCLK should be pulled down, not up.

Convention has it that TCK/SWDCLK is pulled down rather than up so bring the STM32F4 code into line. Does it really matter anyway?