Board updated with GPS module, and now the clock works. The LED is on when GPS fix is obtained, and flashes at 1 Hz when no signal is received. TIMER1 is configured to overflow every second, and a timer interrupt is set up to call system_tick() so the clock is running when there is no GPS signal.