Get the cpu IDs from the FDT.

These are the IDs used to identify cores in PSCI.

Change-Id: I9e88a6c69f963864591e39f0191cdd5ce824ce6d
diff --git a/inc/hf/boot_params.h b/inc/hf/boot_params.h
index db57d56..43d969a 100644
--- a/inc/hf/boot_params.h
+++ b/inc/hf/boot_params.h
@@ -31,6 +31,8 @@
 };
 
 struct boot_params {
+	uint64_t cpu_ids[MAX_CPUS];
+	size_t cpu_count;
 	struct mem_range mem_ranges[MAX_MEM_RANGES];
 	size_t mem_ranges_count;
 	paddr_t initrd_begin;