set_core_timer() now takes a periodic flag