small optimization to scc8530_t::device_timer() (nw)