Move definition of initTimer to be arm specific

initTimer does not exist on x86

include/arch/arm/arch/machine/timer.h

@@ -53,4 +53,6 @@ initGenericTimer(void)
     resetGenericTimer();
 }
 
+void initTimer(void);
+
 #endif /* __ARCH_MACHINE_TIMER_H_ */

include/machine/timer.h

@@ -11,6 +11,5 @@
 #define __TIMER_H
 
 void resetTimer(void);
-void initTimer(void);
 
 #endif

src/arch/arm/kernel/boot.c

@@ -23,7 +23,7 @@
 #include <linker.h>
 #include <plat/machine/hardware.h>
 #include <machine.h>
-#include <machine/timer.h>
+#include <arch/machine/timer.h>
 #include <arch/machine/fpu.h>
 #include <arch/machine/tlb.h>