I reviewed FreeRTOS support for systick using the divided clock. It appears the fix proposed for “Bug 2” will need a small tweak for the case of systick using the divided clock.
I’d be happy to prepare a PR or create an issue on github or whatever would be most helpful.