ar100: Support for ar100 (#6054)

Add files to support AR100

Signed-off-by: Elias Bakken <elias@iagent.no>

src/ar100/timer.h

@@ -0,0 +1,12 @@
+#include <stdint.h>
+#include "asm/spr.h"
+#include "sched.h"
+#include "internal.h"
+
+uint8_t timer_interrupt_pending(void);
+void timer_set(uint32_t value);
+uint32_t timer_read_time(void);
+void timer_reset(void);
+void timer_clear_interrupt(void);
+void timer_kick(void);
+void timer_init(void);