get the sam7ex256 platform building again
diff --git a/platform/at91sam7/timer.c b/platform/at91sam7/timer.c
index be65e9c..8e2c6e3 100644
--- a/platform/at91sam7/timer.c
+++ b/platform/at91sam7/timer.c
@@ -48,6 +48,11 @@
 	return ticks;
 }
 
+bigtime_t current_time_hires(void)
+{
+	return ticks * 1000ULL;
+}
+
 static enum handler_return pit_irq_handler(void *arg)
 {
     AT91PIT *pit = AT91PIT_ADDR;