Updated Debugging using printf (markdown)

Debugging-using-printf.md

@@ -21,7 +21,7 @@ DebugPrintf(str, ...);
 Like you would use `printf` from the C standard library. View `man 3 printf` or find a ressource online to see a list of format arguments you can provide and what they do, e.g.:
 ```c
 u32 a = 42;
-DebugPrintf("a = %ud. But also a = 0x%ux", a, a);
+DebugPrintf("a = %d. But also a = 0x%x", a, a);
 ```
 should print the following string to the log: `a = 42. But also a = 0x2a`, since `%ud`, `%ux` can be used to print unsigned decimal / hexadecimal integers respectively.