ad717d2e98
If M0[23] is set then the driver will interpret the interrupt as a debug event, rather than a signal event. Clear M0 before sending the interrupt. All paths here are terminal so it's not necessary to save/restore M0. Change-Id: Ibd85b8cc6f8556941f2308a2c3fa3c68702cd606