pwm: Add pinmux setup for MCU STM32F4 v1 board.
Build: Fake config to allow 'make clean'.