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