Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 06f81c443fbc7ab0126fd4a61a5c82ae88c9c582)
+++ kernel/generic/src/cpu/cpu.c	(revision 55c5cb056e5a70788603b6b8a7c72a8ee64389b5)
@@ -45,5 +45,5 @@
 #include <config.h>
 #include <panic.h>
-#include <mem.h>
+#include <memw.h>
 #include <adt/list.h>
 #include <stdio.h>