bsps: Fix rtems_interrupt_server_delete()

The ISR lock must be destroyed to prevent memory corruption if RTEMS_PROFILING
and RTEMS_SMP is enabled.

Close #4189.

bsps/shared/irq/irq-server.c

@@ -682,6 +682,8 @@ static void bsp_interrupt_server_destroy_helper(void *arg)
   rtems_chain_extract_unprotected(&s->node);
   bsp_interrupt_unlock();
 
+  rtems_interrupt_lock_destroy(&s->lock);
+
   if (s->destroy != NULL) {
     (*s->destroy)(s);
   }