The head revision in Github introduces configRUN_TIME_COUNTER_TYPE, which lets the application writer set the type used to hold the run time stats counter - so you can set it to uint64_t if that helps with the overrun time. Do that by adding the following to FreeRTOSConfig.h:
#define configRUN_TIME_COUNTER_TYPE uint64_t