Index: kernel/genarch/src/acpi/madt.c
===================================================================
--- kernel/genarch/src/acpi/madt.c	(revision 793cf029ed8fa198abf49a9bf9cb846bf82cddc5)
+++ kernel/genarch/src/acpi/madt.c	(revision c6c49de5fed5be5b22433eb472ea24c4c703cd88)
@@ -95,8 +95,8 @@
 	/*
 	 * FIXME: The current local APIC driver limits usable
-	 * APIC IDs to 8.
+	 * CPU IDs to 8.
 	 *
 	 */
-	if (madt_cpu_apic_id(i) > 7)
+	if (i > 7)
 		return false;