corrects time tick settings so that a timer tick happens every 10ms

port/moonlight/hwtimer.h

@@ -15,7 +15,7 @@
 #include "platform.h"
 
 #define TICKNUM_PER_SECOND 32768
-#define TICKNUM_PER_TIMER (TICKNUM_PER_SECOND / 1000) // ~ 1ms timer
+#define TICKNUM_PER_TIMER (TICKNUM_PER_SECOND / 100) // ~ 1ms timer
 
 static inline int hwtimer_init(void) {
     uint64_t time = get_aclint_mtime(aclint);