Index: uspace/drv/usbhid/kbd/kbddev.c
===================================================================
--- uspace/drv/usbhid/kbd/kbddev.c	(revision 54d4b9e8fe58277730b33d96d5352f73f9609a83)
+++ uspace/drv/usbhid/kbd/kbddev.c	(revision bd0823961a0f6a8024c1e6eda91ee7ae3987e746)
@@ -46,4 +46,6 @@
 #include <fibril.h>
 #include <fibril_synch.h>
+
+#include <ddf/log.h>
 
 #include <usb/usb.h>
@@ -408,9 +410,8 @@
 	memcpy(kbd_dev->keys_old, kbd_dev->keys, kbd_dev->key_count * 4);
 	
-	usb_log_debug2("New stored keys: ");
-	for (i = 0; i < kbd_dev->key_count; ++i) {
-		usb_log_debug2("%d ", kbd_dev->keys_old[i]);
-	}
-	usb_log_debug2("\n");
+	char key_buffer[512];
+	ddf_dump_buffer(key_buffer, 512,
+	    kbd_dev->keys_old, 4, kbd_dev->key_count, 0);
+	usb_log_debug2("Stored keys %s.\n", key_buffer);
 }