The timer is not used on ARM.
Adapted-to-HEAD-by: Elliott Mitchell <firstname.lastname@example.org>
ehem_freebsd_m5p.com on Mar 3 2021, 4:33 PM.Authored by
Some minor comments.
The one comment is done. Thinking about the wording for the other a bit more. The comment came from Julien Grall's original patch, so I can believe time having changed things or the original thinking being mistaken.