TODO: solved the portASSERT_IF_INTERRUPT_PRIORITY_INVALID mystery