Kernel Scheduler: Make sure the global scheduler shutdowns correctly.

src/core/core_cpu.cpp

@@ -117,4 +117,8 @@ void Cpu::Reschedule() {
     scheduler->TryDoContextSwitch();
 }
 
+void Cpu::Shutdown() {
+    scheduler->Shutdown();
+}
+
 } // namespace Core