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