systemc: Don't use write() in sc_clock to set the clock value.