you should include mcu_periph/sys_time.h and not directly sys_time_arch.h
beside that, I think it's okay