hw: bsp: frdm-k64f: add TIMER_0 initialization

Signed-off-by: Fabio Utzig <utzig@apache.org>
diff --git a/hw/bsp/frdm-k64f/src/hal_bsp.c b/hw/bsp/frdm-k64f/src/hal_bsp.c
index a55a8e2..e0fe433 100644
--- a/hw/bsp/frdm-k64f/src/hal_bsp.c
+++ b/hw/bsp/frdm-k64f/src/hal_bsp.c
@@ -28,6 +28,9 @@
 #include "hal/hal_flash_int.h"
 #include "flash_map/flash_map.h"
 #include "hal/hal_flash.h"
+#if MYNEWT_VAL(TIMER_0)
+#include "hal/hal_timer.h"
+#endif
 #if MYNEWT_VAL(TRNG)
 #include "trng/trng.h"
 #include "trng_kinetis/trng_kinetis.h"
@@ -207,6 +210,11 @@
     init_hardware();
     BOARD_BootClockRUN();
 
+#if MYNEWT_VAL(TIMER_0)
+    rc = hal_timer_init(0, NULL);
+    assert(rc == 0);
+#endif
+
 #if MYNEWT_VAL(TRNG)
     rc = os_dev_create(&os_bsp_trng.dev, "trng",
                        OS_DEV_INIT_KERNEL, OS_DEV_INIT_PRIO_DEFAULT,