To be fair, with any amount of actual testing of the hardware IP before production, this would have been caught, it's a pretty bad bug.

Or Rockchip could have simply implemented a linear seconds counter, which would have worked fine and not required crazy workarounds.