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