[vali] add support for clock events and clock sources in the kernel

[Meulengracht]

Currently all timers are in theory clock sources, and we have no support for clock events. This is about implementing that support, even though we do not use this now. This support would allow the kernel to take decisions based on available timers.

[Meulengracht]

Reopen this if we ever need something like this.