cpu: adjusted pwm driver impl for lpc2387
board/cpu: added pwm driver for stm32f4discovery