[kernel] Fix up formatting

Two minor issues: scheduler::prune wasn't formatted correctly, and
j6/caps.h was not using the ull prefix when shifting 64 bit numbers.
(It's doubtful an object would get more than 32 caps any time soon, but
better to be correct.)

src/kernel/scheduler.cpp

@@ -116,7 +116,8 @@ scheduler::add_thread(TCB *t)
     t->time_left = quantum(t->priority);
 }
 
-void scheduler::prune(run_queue &queue, uint64_t now)
+void
+scheduler::prune(run_queue &queue, uint64_t now)
 {
     // Find processes that are ready or have exited and
     // move them to the appropriate lists.