Corrected IWDG reload value calculation due to STM32F4's LSI being 32kHz.