Increase system tick frequency to 500000.

Necessary to support 1 kHz control while doing other stuff.