Update arch_smp.c

Fix clock.h not found by changing to kernel/clock.h