diff --git a/src/soc/intel/xeon_sp/skx/soc_acpi.c b/src/soc/intel/xeon_sp/skx/soc_acpi.c
index b3926193da..95563f5837 100644
--- a/src/soc/intel/xeon_sp/skx/soc_acpi.c
+++ b/src/soc/intel/xeon_sp/skx/soc_acpi.c
@@ -182,7 +182,7 @@ void soc_power_states_generation(int core, int cores_per_package)
 unsigned long xeonsp_acpi_create_madt_lapics(unsigned long current)
 {
 	struct device *cpu;
-	int num_cpus = 0;
+	uint8_t num_cpus = 0;
 
 	for (cpu = all_devices; cpu; cpu = cpu->next) {
 		if ((cpu->path.type != DEVICE_PATH_APIC) ||
@@ -193,6 +193,7 @@ unsigned long xeonsp_acpi_create_madt_lapics(unsigned long current)
 			continue;
 		current += acpi_create_madt_lapic((acpi_madt_lapic_t *)current,
 			num_cpus, cpu->path.apic.apic_id);
+		num_cpus++;
 	}
 
 	return current;