led: introduce a short delay before reading initial time

Signed-off-by:  Eric Callahan <arksine.code@gmail.com>

src/led.c

@@ -22,6 +22,9 @@ led_init(void)
     if (!CONFIG_ENABLE_LED)
         return;
     led = gpio_out_setup(led_gpio, led_gpio_high);
+    // The short delay is simply to ensure that the Debug Timer is
+    // enabled
+    udelay(10);
     last_blink_time = timer_read_time();
 }