[SeaBIOS] Re: [PATCH 1/3] timer: factor out tsctimer_configure()