b3d14bfdda
I'm punting on this for now. I'm afraid of violating assumptions about how the clock behind this interface works (and we do very specific stuff like calculating CPU clock speed), so I don't want to try to replace it. We'll revisit when we need to do serious profiling on ARM; we'll definitely notice that this functionality is missing when we try to use it.