diff --git a/src/cpu/x86/mp_init.c b/src/cpu/x86/mp_init.c
index d124721bd0..ff02b16eed 100644
--- a/src/cpu/x86/mp_init.c
+++ b/src/cpu/x86/mp_init.c
@@ -404,6 +404,7 @@ static int allocate_cpu_devices(struct bus *cpu_bus, struct mp_params *p)
 		if (new == NULL) {
 			printk(BIOS_CRIT, "Could not allocate CPU device\n");
 			max_cpus--;
+			continue;
 		}
 		new->name = processor_name;
 		cpus[i].dev = new;