Change in coreboot[master]: device/device.c: Print bus numbers in decimal

[Angel Pons (Code Review)]

Angel Pons has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/54015 )

Change subject: device/device.c: Print bus numbers in decimal
......................................................................

device/device.c: Print bus numbers in decimal

For consistency with other log messages, print bus numbers in decimal.

Change-Id: Ib08ae40fc67c5f8fafd760e8dbb729d6de34c2bb
Signed-off-by: Angel Pons 
---
M src/device/device.c
1 file changed, 1 insertion(+), 1 deletion(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/15/54015/1

diff --git a/src/device/device.c b/src/device/device.c
index aa10d6f..a3bf1a1 100644
--- a/src/device/device.c
+++ b/src/device/device.c
@@ -154,7 +154,7 @@
 {
    struct device *curdev;

-	printk(BIOS_SPEW, "%s %s bus %x link: %d\n", dev_path(bus->dev),
+	printk(BIOS_SPEW, "%s %s bus %d link: %d\n", dev_path(bus->dev),
           __func__, bus->secondary, bus->link_num);

/* Walk through all devices and find which resources they need. */