Hello, all. In my automated tests I found out that on ARM64-EFI sleep 10
actually sleeps for 100s. The culprit is that EFI doesn't call our timer
every 1ms but every 10ms. I propose time1.diff to correct: request EFI
to call us every 10ms and increment timer variable by 10.
For arm64 I propose to use CPU timer instead time2.diff. Can any of ARM
guys comment on this?