HAL configuration for STM32F4xx