diff --git a/src/device/device_util.c b/src/device/device_util.c
index 452a87b..0bce26a 100644
--- a/src/device/device_util.c
+++ b/src/device/device_util.c
@@ -130,6 +130,9 @@
 	case DEVICE_PATH_USB:
 		ret |= dev->path.usb.port_type << 8 | dev->path.usb.port_id;
 		break;
+	case DEVICE_PATH_GPIO:
+		ret |= dev->path.gpio.id;
+		break;
 	case DEVICE_PATH_NONE:
 	case DEVICE_PATH_MMIO:  /* don't care */
 	default:
@@ -223,6 +226,9 @@
 			snprintf(buffer, sizeof(buffer), "LPC: %08lx",
 				 dev->path.lpc.addr);
 			break;
+		case DEVICE_PATH_GPIO:
+			snprintf(buffer, sizeof(buffer), "GPIO: %d", dev->path.gpio.id);
+			break;
 		default:
 			printk(BIOS_ERR, "Unknown device path type: %d\n",
 			       dev->path.type);