netd: clock types are 32bit

Fixes the crash at startup

diff --git a/Applications/netd/clock-arch.c b/Applications/netd/clock-arch.c
index 26ade45..9fc20a6 100644 (file)
--- a/Applications/netd/clock-arch.c
+++ b/Applications/netd/clock-arch.c
@@ -47,8 +47,8 @@ clock_time_t
 clock_time(void)
 {
   struct{
-      uint16_t high;
-      uint16_t low;
+      uint32_t high;
+      uint32_t low;
   }now;
   _time((__ktime_t *)&now,1);
   /* FIXME: needs a multiplier to turn into ms FIXME */