Use portEND_SWITCHING_ISR to return from interrupt