timer.c: 1KHz timer @ 2MHz sysclk