soc/rockchip: Get rid of device_t

Use of device_t has been abandoned in ramstage.

Change-Id: Idf47ea3b29c3fab7256d7a6722c7978594001d8d
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/26535
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
diff --git a/src/soc/rockchip/rk3288/soc.c b/src/soc/rockchip/rk3288/soc.c
index c16beb8..eadbfc8 100644
--- a/src/soc/rockchip/rk3288/soc.c
+++ b/src/soc/rockchip/rk3288/soc.c
@@ -30,7 +30,7 @@
 
 #include "chip.h"
 
-static void soc_init(device_t dev)
+static void soc_init(struct device *dev)
 {
 	ram_resource(dev, 0, (uintptr_t)_dram/KiB, sdram_size_mb()*(MiB/KiB));
 	if (display_init_required())
@@ -47,7 +47,7 @@
 	.scan_bus         = 0,
 };
 
-static void enable_rk3288_dev(device_t dev)
+static void enable_rk3288_dev(struct device *dev)
 {
 	dev->ops = &soc_ops;
 }