The LEON2 timer implementation utilize lazy evaluation of counter registers,
this result in that the counter registers return incorrect values in
some cases, e.g. when a timer is disabled the counter register will
evaluate to the reload value.
The counters will also differ from real hardware as the LEON2 Simics model
is not cycle accurate.