Minor bug in Hardware counter. The overflow flag is set when the counter becomes 0x0000 again. Thus we have counted 0x10000 ticks.
Added full cold GPS restart in the command line. version to v3.2.5.