core/mutex: include cpu.h

This is needed for core_mutex_debug

core/mutex.c

@@ -24,6 +24,7 @@
 #include <inttypes.h>
 #include <stdio.h>
 
+#include "cpu.h"
 #include "mutex.h"
 #include "thread.h"
 #include "sched.h"