msg: Fix extra spinlock clear in proc_respond
hal_cpuReschedule is clearing spinlock, so additional clear is a bug
DONE:
@@ -505,7 +505,6 @@ int proc_respond(u32 port, msg_t *msg, unsigned long int rid)
kmsg->src = proc_current()->process;
proc_threadWakeup(&kmsg->threads);
hal_cpuReschedule(&p->spinlock, &sc);
- hal_spinlockClear(&p->spinlock, &sc);
port_put(p, 0);
