Comment 4 for bug 1872237

I believe this bug should be fixed by this patchset, which rewrites the systick implementation to use a 'ptimer' down-counter instead of rolling its own buggy version:
https://<email address hidden>/