Correct pin names for STM32F051x