Added doxygen comments on related timer

Rewrite comments as indicated :  "hvmm_status_t generic_timer_init()" in generic_timer.h