Always ignore the first PPS pulse because it might be left over from
several seconds before if the receiver doesn't emit pulses right now.