Index: kernel/genarch/src/acpi/madt.c
===================================================================
--- kernel/genarch/src/acpi/madt.c	(revision 9abe2e5367e0d71b259840713b8cf79d80d97fc6)
+++ kernel/genarch/src/acpi/madt.c	(revision 1165a41982b3e702655a56bd998366ef0f55a919)
@@ -46,5 +46,5 @@
 #include <mm/slab.h>
 #include <memstr.h>
-#include <sort.h>
+#include <gsort.h>
 
 struct acpi_madt *acpi_madt = NULL;