[ARM] time.c needs to include profile.h

time.c handles the kernel profiling, and references prof_buffer/
prof_len/prof_shift.

arch/arm/kernel/time.c

@@ -26,6 +26,7 @@
 #include <linux/smp.h>
 #include <linux/timex.h>
 #include <linux/errno.h>
+#include <linux/profile.h>
 
 #include <asm/hardware.h>
 #include <asm/io.h>