Fix reset of ARMv7M systick.

When the systick value is reset, and the timer is disabled, the
systick value should be set to zero, not reloaded.
Set gdb_syscall_mode more accurately.