platform/stm32-e407/dev/leds-arch.c: migrate to use stdint types

Tracking upstream libopencm3 cleanup.