southbridge/intel/i82801dx: transition away from device_t

Replace the use of the old device_t definition inside
southbridge/intel/i82801dx.

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

src/southbridge/intel/i82801dx/tco_timer.c

@@ -17,7 +17,7 @@
 static void i82801dx_halt_tco_timer(void)
 {
 	/* Set the LPC device statically. */
-	device_t dev = PCI_DEV(0x0, 0x1f, 0x0);
+	pci_devfn_t dev = PCI_DEV(0x0, 0x1f, 0x0);
 
 	/* Temporarily set ACPI base address (I/O space). */
 	pci_write_config32(dev, PMBASE, (PMBASE_ADDR | 1));