Configure Timer4 for being used as clock (tick) source.