Fixed minor typos in hal_timer