Digging through the core_cm4.h file, I found that
NVIC_SetPriority(IRQn_Type IRQn, uint32_t priority)
does what I need. I set the priority level to 7 (anything other than the default of 0) and now I am able to correctly execute the xSemaphoreGiveFromISR() routine.