Fix braces + init_paging args

src/time/timer.c

@@ -78,8 +78,7 @@ void pit_init()
 void timer_wait(uint64_t wait_ticks)
 {
     uint64_t then = ticks + wait_ticks;
-    while (ticks < then)
-    {
+    while (ticks < then) {
         asm("hlt");
     };
 }