Can you try updating the above mentioned lines in source\include\FreeRTOSIPConfigDefaults.h
to something like this:
#if (configENABLE_MPU != 0)
#if ( ipconfigIP_TASK_PRIORITY > ( ( configMAX_PRIORITIES - 1 ) | portPRIVILEGE_BIT ) )
#error ipconfigIP_TASK_PRIORITY must be at most ( ( configMAX_PRIORITIES - 1 ) | portPRIVILEGE_BIT ) )
#endif
#else
#if ( ipconfigIP_TASK_PRIORITY > ( configMAX_PRIORITIES - 1 ) )
#error ipconfigIP_TASK_PRIORITY must be at most configMAX_PRIORITIES - 1
#endif
#endif