Printf %x with fixed length

kernel/src/print/print.c

@@ -32,8 +32,12 @@ static void printhex(size_t num) {
         num /= 16;
     }
 
-    i++;
     puts("0x");
+    for(int j = i; j >= 0; j--) {
+        putchar('0');
+    }
+
+    i++;
     puts(&buf[i]);
 }