pwm: Add pinmux setup for MCU STM32F4 v1 board.