Index: boot/Makefile.common
===================================================================
--- boot/Makefile.common	(revision d08b1603eb7df6e5cbfe87e42734e2f7139e66ef)
+++ boot/Makefile.common	(revision b9eb93fee84439138da39f6dd8bea65a7370d2dc)
@@ -113,6 +113,5 @@
 	rootvirt \
 	test1 \
-	test2 \
-	vhc
+	test2
 
 RD_DRV_CFG = 
Index: boot/arch/amd64/Makefile.inc
===================================================================
--- boot/arch/amd64/Makefile.inc	(revision d08b1603eb7df6e5cbfe87e42734e2f7139e66ef)
+++ boot/arch/amd64/Makefile.inc	(revision b9eb93fee84439138da39f6dd8bea65a7370d2dc)
@@ -43,5 +43,6 @@
 	uhci \
 	usbhub \
-	usbkbd
+	usbkbd \
+	vhc
 	
 RD_DRV_CFG += \
Index: uspace/Makefile
===================================================================
--- uspace/Makefile	(revision d08b1603eb7df6e5cbfe87e42734e2f7139e66ef)
+++ uspace/Makefile	(revision b9eb93fee84439138da39f6dd8bea65a7370d2dc)
@@ -90,6 +90,5 @@
 	drv/rootvirt \
 	drv/test1 \
-	drv/test2 \
-	drv/vhc
+	drv/test2
 
 ## Networking
@@ -118,4 +117,8 @@
 	DIRS += drv/isa
 	DIRS += drv/ns8250
+	DIRS += drv/uhci
+	DIRS += drv/usbhub
+	DIRS += drv/usbkbd
+	DIRS += drv/vhc
 endif
 
@@ -128,4 +131,5 @@
 	DIRS += drv/usbhub
 	DIRS += drv/usbkbd
+	DIRS += drv/vhc
 endif
 
Index: uspace/drv/uhci/transfers.c
===================================================================
--- uspace/drv/uhci/transfers.c	(revision d08b1603eb7df6e5cbfe87e42734e2f7139e66ef)
+++ uspace/drv/uhci/transfers.c	(revision b9eb93fee84439138da39f6dd8bea65a7370d2dc)
@@ -36,5 +36,5 @@
     usbhc_iface_transfer_out_callback_t callback, void *arg)
 {
-	printf(NAME ": transfer OUT [%d.%d (%s); %u]\n",
+	printf(NAME ": transfer OUT [%d.%d (%s); %zu]\n",
 	    target.address, target.endpoint,
 	    usb_str_transfer_type(transfer_type),
@@ -49,5 +49,5 @@
     usbhc_iface_transfer_out_callback_t callback, void *arg)
 {
-	printf(NAME ": transfer SETUP [%d.%d (%s); %u]\n",
+	printf(NAME ": transfer SETUP [%d.%d (%s); %zu]\n",
 	    target.address, target.endpoint,
 	    usb_str_transfer_type(transfer_type),
@@ -62,5 +62,5 @@
     usbhc_iface_transfer_in_callback_t callback, void *arg)
 {
-	printf(NAME ": transfer IN [%d.%d (%s); %u]\n",
+	printf(NAME ": transfer IN [%d.%d (%s); %zu]\n",
 	    target.address, target.endpoint,
 	    usb_str_transfer_type(transfer_type),