Mb stm32f4 timer mods

Adds support for the 32 bit timers and fixes a bug in platform_s_timer_delay() so that it doesn't hang forever when the required delay is > 16 bits wide.