allwinner: Pass SoC ID to sunxi_pmic_setup()

In the BL31 platform setup we read the Allwinner SoC ID to identify the
chip and print its name.
In addition to that we will need to differentiate the power setup
between the SoCs, to pass on the SoC ID to the PMIC setup routine.

Signed-off-by: Andre Przywara <andre.przywara@arm.com>
diff --git a/plat/allwinner/common/sunxi_private.h b/plat/allwinner/common/sunxi_private.h
index 20fa23e..d4c60f9 100644
--- a/plat/allwinner/common/sunxi_private.h
+++ b/plat/allwinner/common/sunxi_private.h
@@ -14,7 +14,7 @@
 
 uint16_t sunxi_read_soc_id(void);
 
-void sunxi_pmic_setup(void);
+void sunxi_pmic_setup(uint16_t socid);
 void sunxi_security_setup(void);
 
 void __dead2 sunxi_power_down(void);