mainboard/thomson/ip1000: transition away from device_t

Replace the use of the old device_t definition inside
mainboard/thomson/ip1000.

Change-Id: Id7b979d2539d4a80609a60464527939c4d449822
Signed-off-by: Antonello Dettori <dev@dettori.io>
Reviewed-on: https://review.coreboot.org/17308
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>

src/mainboard/thomson/ip1000/gpio.c

@@ -23,7 +23,7 @@
 /* Early mainboard specific GPIO setup. */
 static void mb_gpio_init(void)
 {
-	device_t dev;
+	pci_devfn_t dev;
 	uint16_t port;
 	uint32_t set_gpio;