Update smp_rally.c

Author: PythonPlumber

src/arch/x86/smp_rally.c

@@ -2,9 +2,11 @@
 #include "arch/x86/smp_rally.h"
 #include "arch/x86/gdt.h"
 #include "arch/x86/idt.h"
+#include "arch/x86/timer.h"
 #include "paging.h"
 #include "kernel/sched.h"
 #include "drivers/serial.h"
+#include "kernel.h"
 #include "types.h"
 #include "util.h"
 #include "cpu.h"