[SeaBIOS] [PATCH v2 1/4] timer: add tsctimer_setfreq()