I think either this should be ```usec_of_cpu_ticks(systick_get_reload() + 1)``` or systick_set_reload it is wrong in sys_time_arch_init.