STM32 F205VCT6: ¿Los puertos 6 y 7 de GPIO B no funcionan?

Estoy usando el STM32 F205VCT6. Tengo un programa simple de LED parpadeante escrito en C ++ con VisualGDB (y la Comunidad VS 2013). Funciona bien para pines como A1 y E2, pero no para B6 y B7, donde quiero conectar USART. ¿El procesador lo bloquea de alguna manera? Realmente no tengo idea. Por favor ayuda, gracias.

ACTUALIZACIÓN: enlace al proyecto completo en Dropbox: enlace

El código de mi programa:

#include <stm32f2xx_gpio.h>
#include <stm32f2xx_rcc.h>

void Delay()
{
    int i;
    for (i = 0; i < 1000000; i++)
        asm("nop");
}

int main()
{
  GPIO_InitTypeDef GPIO_InitStructure;

  RCC_AHB1PeriphClockCmd(RCC_AHB1Periph_GPIOB, ENABLE);

  GPIO_InitStructure.GPIO_Pin = GPIO_Pin_6;

  GPIO_InitStructure.GPIO_Mode = GPIO_Mode_OUT;
  GPIO_InitStructure.GPIO_OType = GPIO_OType_PP;
  GPIO_InitStructure.GPIO_PuPd = GPIO_PuPd_UP;
  GPIO_InitStructure.GPIO_Speed = GPIO_Speed_50MHz;
  GPIO_Init(GPIOB, &GPIO_InitStructure);

  for (;;)
  {
      GPIO_WriteBit(GPIOB, GPIO_Pin_6, Bit_SET);
      Delay();
      GPIO_WriteBit(GPIOB, GPIO_Pin_6, Bit_RESET);
      Delay();
  }
}