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