Timer: STM32: add Channel TypeIds to Basic and GP Timer
Examples: STM32F4D: improve board file