sys_halt should be noreturn

ce75874a · Austin Clements · fe706ffd · ce75874a
--- a/kernel/sysproc.cc
+++ b/kernel/sysproc.cc
@@ -144,8 +144,8 @@ sys_unmap(userptr<void> addr, size_t len)
  return 0;
 }

-//SYSCALL
-int
+//SYSCALL NORET
+void
 sys_halt(void)
 {
  halt();