Get the cpu IDs from the FDT.

These are the IDs used to identify cores in PSCI.

Change-Id: I9e88a6c69f963864591e39f0191cdd5ce824ce6d
diff --git a/src/load.c b/src/load.c
index 11e5568..30de46f 100644
--- a/src/load.c
+++ b/src/load.c
@@ -348,7 +348,7 @@
 		dlog("Loaded with %u vcpus, entry at 0x%x\n", cpu,
 		     pa_addr(secondary_mem_begin));
 
-		vm_start_vcpu(vm, 0, secondary_entry, 0);
+		vm_secondary_start_vcpu(vm, 0, secondary_entry, 0);
 	}
 
 	/*