Put ACLK frequency constant in FreeRTOSConfig.h