From 5af37f21c3d596373bd824b2e6cddb3e4d14e569 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Markus=20Fr=C3=B6schle?= <mfro@mubf.de>
Date: Tue, 5 Nov 2013 20:24:58 +0000
Subject: [PATCH] added display of PCI handle of USB device found

---
 sources/sysinit.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sources/sysinit.c b/sources/sysinit.c
index 9422aa7..79e89e3 100644
--- a/sources/sysinit.c
+++ b/sources/sysinit.c
@@ -527,7 +527,7 @@ void init_usb(void)
 
 			if (class >> 16 == PCI_CLASS_SERIAL_USB)
 			{
-				xprintf("serial USB found at #%d\r\n", handle);
+				xprintf("serial USB found at #%x\r\n", handle);
 				if (class >> 8 == PCI_CLASS_SERIAL_USB_EHCI)
 				{
 					board = ehci_usb_pci_table;