Index: kernel/genarch/src/acpi/madt.c
===================================================================
--- kernel/genarch/src/acpi/madt.c	(revision f2460a50f76f92f3a70ead8969f2bffd83b3a7a4)
+++ kernel/genarch/src/acpi/madt.c	(revision 7367c312a2e6aa20171463840a60416c6f2d046c)
@@ -45,5 +45,4 @@
 #include <log.h>
 #include <mm/slab.h>
-#include <memstr.h>
 #include <gsort.h>