Merge pull request #9708 from JosJuice/dsp-volatile DSP: Change external_interrupt_waiting from volatile to atomic
