Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision f3277d49c94d6695d52680406ec1323602b89e6a)
+++ kernel/arch/amd64/src/amd64.c	(revision 41df2827457b04499fb5258c1cecc1ba5c7670bd)
@@ -67,4 +67,5 @@
 #include <ddi/irq.h>
 #include <sysinfo/sysinfo.h>
+#include <memstr.h>
 
 /** Disable I/O on non-privileged levels