Merge pull request #18606 from jan-mo/fix/20220916__core_msg_queue_print_restore_irq

core/msg.c: irq was not restored properly

Author: kaspar030

core/msg.c

@@ -492,6 +492,7 @@ void msg_queue_print(void)
 
     if (msg_counter < 1) {
         /* no msg queue */
+        irq_restore(state);
         printf("No messages or no message queue\n");
         return;
     }