We're talking about a company that produces the hardware their OS is running on. I'm sure they can find a way to make the hardware clock run faster.