fixup! fixup! core/msg: re-enable IRQs before printing for highlevel_…

…stdio

core/include/msg.h

@@ -413,6 +413,8 @@ void msg_init_queue(msg_t *array, int num);
 
 /**
  * @brief   Prints the message queue of the current thread.
+ *
+ * @note    Prints at most 16 messages.
  */
 void msg_queue_print(void);