Daniele Marsella authored Jan 07, 2019 and Federico committed Oct 19, 2021

Added methods needed by deep sleep interface to update the current
time in timer counter after wakeup.
The methods are setCurrentTime(long long) and IRQsetCurrentTime(long
long)

Signed-off-by: Daniele Marsella <daniele.marsella95@gmail.com>